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