Searched defs:KS_LOG_PPTR (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/
H A Dhardware.h66 #define KS_LOG_PPTR PPTR_TOP macro
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/
H A Dhardware.h207 #define KS_LOG_PPTR (KDEV_BASE - UL_CONST(0x200000)) macro
/seL4-camkes-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h104 #define KS_LOG_PPTR (KDEV_BASE + BIT(seL4_LargePageBits)) macro
/seL4-camkes-master/kernel/include/plat/pc99/plat/32/plat_mode/machine/
H A Dhardware.h72 #define KS_LOG_PPTR (TLBBITMAP_PPTR - LOGBUFFER_PD_RESERVED) macro
/seL4-camkes-master/kernel/include/arch/riscv/arch/64/mode/
H A Dhardware.h105 #define KS_LOG_PPTR UL_CONST(0XFFFFFFFFFFE00000) macro
/seL4-camkes-master/kernel/include/arch/riscv/arch/32/mode/
H A Dhardware.h44 #define KS_LOG_PPTR PPTR_TOP macro

Completed in 93 milliseconds