Home
last modified time | relevance | path

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

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

Completed in 13 milliseconds