PA_OFFSET 65 boot/arch/arm32/include/arch/arch.h #define PA2KA(addr) (((uintptr_t) (addr)) + PA_OFFSET) PA_OFFSET 67 boot/arch/arm32/include/arch/arch.h #define PA2KA(addr) ((addr) + PA_OFFSET)