#define USER_LIB_MAX 0x00007000##00000000
#define USER_STACK_SZ 0x00000000##00020000 // 64 KiB
#define USER_STACK_TOP 0x00007FFF##FFFFF000
-#define MM_USER_MAX 0x00007FFF##FFFFF000
#define MM_KERNEL_RANGE 0xFFFF8000##00000000
#define MM_KHEAP_BASE (MM_KERNEL_RANGE|(0x8000##00000000))
#define MM_KHEAP_MAX (MM_KERNEL_RANGE|(0x9000##00000000))