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

/seL4-test-master/kernel/include/arch/arm/arch/32/mode/
H A Dhardware.h65 #define PPTR_TOP UL_CONST(0xffe00000) macro
68 #define PPTR_TOP UL_CONST(0xfff00000) macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/
H A Dhardware.h183 #define PPTR_TOP UL_CONST(0x0000ffffc0000000) macro
185 #define PPTR_TOP UL_CONST(0xffffffffc0000000) macro
/seL4-test-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h87 #define PPTR_TOP UL_CONST(0xffffffff80000000) macro
/seL4-test-master/kernel/include/plat/pc99/plat/32/plat_mode/machine/
H A Dhardware.h74 #define PPTR_TOP KS_LOG_PPTR macro
/seL4-test-master/kernel/include/arch/riscv/arch/64/mode/
H A Dhardware.h89 #define PPTR_TOP UL_CONST(0xFFFFFFFF80000000) macro
/seL4-test-master/kernel/include/arch/riscv/arch/32/mode/
H A Dhardware.h42 #define PPTR_TOP UL_CONST(0xFF400000) macro
46 #define PPTR_TOP UL_CONST(0xFF800000) macro

Completed in 37 milliseconds