VRN_KERNEL 59 kernel/arch/ia64/include/arch/mm/page.h #define VRN_KERNEL 7 VRN_KERNEL 61 kernel/arch/ia64/include/arch/mm/page.h #define VRN_KERNEL 7ULL