Searched defs:KERNEL_HIGH_VADDR (Results 1 – 1 of 1) sorted by relevance
180 #define KERNEL_HIGH_VADDR _AC(0xfffffff800000000, UL) /* high 32GB */ macro229 #define KERNEL_HIGH_VADDR MEM_USER_INTRPT macro