HelenOS sources

VRN_KERNEL         66 kernel/arch/ia64/include/arch/mm/page.h #define KA2PA(x)  (((uintptr_t) (x)) - (VRN_KERNEL << VRN_SHIFT))
VRN_KERNEL         67 kernel/arch/ia64/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + (VRN_KERNEL << VRN_SHIFT))
VRN_KERNEL         68 kernel/arch/ia64/src/mm/as.c 		if (i == VRN_KERNEL)
VRN_KERNEL        475 kernel/arch/ia64/src/mm/tlb.c 	return (RID2ASID(rid) == ASID_KERNEL) && (VA2VRN(va) == VRN_KERNEL);