HelenOS sources

VRN_SHIFT          55 kernel/arch/ia64/include/arch/mm/page.h #define VRN_MASK    (7ULL << VRN_SHIFT)
VRN_SHIFT          56 kernel/arch/ia64/include/arch/mm/page.h #define VA2VRN(va)  ((va) >> VRN_SHIFT)
VRN_SHIFT          66 kernel/arch/ia64/include/arch/mm/page.h #define KA2PA(x)  (((uintptr_t) (x)) - (VRN_KERNEL << VRN_SHIFT))
VRN_SHIFT          67 kernel/arch/ia64/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + (VRN_KERNEL << VRN_SHIFT))
VRN_SHIFT         244 kernel/arch/ia64/include/arch/mm/page.h 	    : [index] "r" (i << VRN_SHIFT)
VRN_SHIFT         261 kernel/arch/ia64/include/arch/mm/page.h 	    :: [index] "r" (i << VRN_SHIFT),
VRN_SHIFT         123 kernel/arch/ia64/src/mm/page.c 	vrn = page >> VRN_SHIFT;
VRN_SHIFT         170 kernel/arch/ia64/src/mm/page.c 	vrn = page >> VRN_SHIFT;
VRN_SHIFT         217 kernel/arch/ia64/src/mm/page.c 	vrn = page >> VRN_SHIFT;
VRN_SHIFT          63 kernel/arch/ia64/src/mm/vhpt.c 	vrn = va >> VRN_SHIFT;