Searched refs:PPTR_BASE_OFFSET (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/include/
H A Dmachine.h19 return (void *)(paddr + PPTR_BASE_OFFSET);
26 return (paddr_t)pptr - PPTR_BASE_OFFSET;
32 p_reg.start + PPTR_BASE_OFFSET, p_reg.end + PPTR_BASE_OFFSET
39 reg.start - PPTR_BASE_OFFSET, reg.end - PPTR_BASE_OFFSET
H A Dhardware.h33 #define PPTR_BASE_OFFSET (PPTR_BASE - PADDR_BASE) macro
37 #define PADDR_TOP (PPTR_TOP - PPTR_BASE_OFFSET)
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/
H A Dhardware.h192 #define KERNEL_ELF_BASE (PPTR_BASE_OFFSET + KERNEL_ELF_PADDR_BASE)
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c144 kernel_root_pageTable[RISCV_GET_PT_INDEX(KERNEL_ELF_PADDR_BASE + PPTR_BASE_OFFSET, 0)] =

Completed in 48 milliseconds