/kernel/trunk/arch/ia32/include/mm/as.h |
---|
29,7 → 29,7 |
#ifndef __ia32_AS_H__ |
#define __ia32_AS_H__ |
#include <arch/types.h> |
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 |
#define KERNEL_ADDRESS_SPACE_START_ARCH ((__address) 0x80000000) |
#define KERNEL_ADDRESS_SPACE_END_ARCH ((__address) 0xffffffff) |