#define MM_KSTACK_BASE (KERNEL_BASE|(0xA000##00000000))
#define MM_KSTACK_TOP (KERNEL_BASE|(0xC000##00000000))
#define MM_HWMAP_BASE (KERNEL_BASE|(0xD000##00000000))
#define MM_HWMAP_TOP (KERNEL_BASE|(0xE000##00000000))
#define MM_KSTACK_BASE (KERNEL_BASE|(0xA000##00000000))
#define MM_KSTACK_TOP (KERNEL_BASE|(0xC000##00000000))
#define MM_HWMAP_BASE (KERNEL_BASE|(0xD000##00000000))
#define MM_HWMAP_TOP (KERNEL_BASE|(0xE000##00000000))