/trunk/kernel/arch/ia32xen/src/mm/tlb.c |
63,7 → 63,7 |
* @param page Address of the first page whose entry is to be invalidated. |
* @param cnt Number of entries to invalidate. |
*/ |
void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt) |
void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, count_t cnt) |
{ |
unsigned int i; |
|
/trunk/kernel/arch/ia32/include/cpu.h |
51,10 → 51,10 |
#include <arch/asm.h> |
|
typedef struct { |
int vendor; |
int family; |
int model; |
int stepping; |
unsigned int vendor; |
unsigned int family; |
unsigned int model; |
unsigned int stepping; |
struct tss *tss; |
|
count_t iomapver_copy; /** Copy of TASK's I/O Permission bitmap generation count. */ |