HelenOS sources

PA2KA              65 boot/arch/arm32/include/arch/arch.h #define PA2KA(addr)  (((uintptr_t) (addr)) + PA_OFFSET)
PA2KA              67 boot/arch/arm32/include/arch/arch.h #define PA2KA(addr)  ((addr) + PA_OFFSET)
PA2KA              58 boot/arch/mips32/include/arch/arch.h #define PA2KA(addr)    (((uintptr_t) (addr)) + 0x80000000)
PA2KA              63 boot/arch/mips32/include/arch/arch.h #define PA2KA(addr)    ((addr) + 0x80000000)
PA2KA              40 boot/arch/ppc32/include/arch/arch.h #define PA2KA(addr)  (((uintptr_t) (addr)) + 0x80000000)
PA2KA              42 boot/arch/ppc32/include/arch/arch.h #define PA2KA(addr)  ((addr) + 0x80000000)
PA2KA              37 boot/arch/riscv64/include/arch/mm.h #define PA2KA(x)  (((uintptr_t) (x)) + UINT64_C(0xffff800000000000))
PA2KA              40 boot/arch/riscv64/include/arch/mm.h #define PA2KA(x)  ((x) + 0xffff800000000000)
PA2KA              46 kernel/arch/abs32le/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + UINT32_C(0x80000000))
PA2KA              48 kernel/arch/amd64/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + UINT64_C(0xffffffff80000000))
PA2KA              53 kernel/arch/amd64/include/arch/mm/page.h #define PA2KA(x)  ((x) + 0xffffffff80000000)
PA2KA              64 kernel/arch/amd64/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + UINT64_C(0xffff800000000000))
PA2KA              69 kernel/arch/amd64/include/arch/mm/page.h #define PA2KA(x)  ((x) + 0xffff800000000000)
PA2KA              53 kernel/arch/arm32/include/arch/mm/page.h #	define PA2KA(x)	((uintptr_t) (x))
PA2KA              56 kernel/arch/arm32/include/arch/mm/page.h #	define PA2KA(x)	(x)
PA2KA              61 kernel/arch/arm32/include/arch/mm/page.h #	define PA2KA(x)	(((uintptr_t) (x)) + 0x80000000)
PA2KA              64 kernel/arch/arm32/include/arch/mm/page.h #	define PA2KA(x)	((x) + 0x80000000)
PA2KA              56 kernel/arch/arm64/include/arch/mm/page.h #define PA2KA(x) \
PA2KA              54 kernel/arch/ia32/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + UINT32_C(0x80000000))
PA2KA              59 kernel/arch/ia32/include/arch/mm/page.h #define PA2KA(x)  ((x) + 0x80000000)
PA2KA              67 kernel/arch/ia64/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + (VRN_KERNEL << VRN_SHIFT))
PA2KA              48 kernel/arch/mips32/include/arch/mm/page.h #	define PA2KA(x)	(((uintptr_t) (x)) + 0x80000000)
PA2KA              51 kernel/arch/mips32/include/arch/mm/page.h #	define PA2KA(x)	((x) + 0x80000000)
PA2KA              45 kernel/arch/ppc32/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + 0x80000000)
PA2KA              48 kernel/arch/ppc32/include/arch/mm/page.h #define PA2KA(x)  ((x) + 0x80000000)
PA2KA              45 kernel/arch/riscv64/include/arch/mm/page.h #define PA2KA(x)  (((uintptr_t) (x)) + UINT64_C(0xffff800000000000))
PA2KA              48 kernel/arch/riscv64/include/arch/mm/page.h #define PA2KA(x)  ((x) + 0xffff800000000000)
PA2KA              63 kernel/arch/sparc64/include/arch/mm/page.h #define PA2KA(x)	(((uintptr_t) (x)) - physmem_base)
PA2KA              55 kernel/arch/sparc64/include/arch/mm/sun4v/page.h #define PA2KA(x)	(((uintptr_t) (x)) - physmem_base)