/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/amd64/src/amd64.c |
---|
210,6 → 210,7 |
{ |
i8042_grab(); |
} |
/** Return console to userspace |
* |
*/ |
/trunk/kernel/arch/mips32/include/mm/asid.h |
---|
37,7 → 37,7 |
#include <arch/types.h> |
#define ASID_MAX_ARCH 255 /* 2^8 - 1 */ |
#define ASID_MAX_ARCH 255 /* 2^8 - 1 */ |
typedef uint8_t asid_t; |
/trunk/kernel/arch/ia32/include/mm/as.h |
---|
42,7 → 42,7 |
#define USER_ADDRESS_SPACE_START_ARCH ((unsigned long) 0x00000000) |
#define USER_ADDRESS_SPACE_END_ARCH ((unsigned long) 0x7fffffff) |
#define USTACK_ADDRESS_ARCH (USER_ADDRESS_SPACE_END_ARCH-(PAGE_SIZE-1)) |
#define USTACK_ADDRESS_ARCH (USER_ADDRESS_SPACE_END_ARCH - (PAGE_SIZE - 1)) |
typedef struct { |
} as_arch_t; |
/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. */ |
/trunk/uspace/lib/libc/include/string.h |
---|
37,7 → 37,7 |
#include <sys/types.h> |
#define bzero(ptr, len) memset((ptr), 0, (len)) |
#define bzero(ptr, len) memset((ptr), 0, (len)) |
extern void * memset(void *, int, size_t); |
extern void * memcpy(void *, const void *, size_t); |