Home
last modified time | relevance | path

Searched refs:KERNEL_PT_BASE (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/plat/pc99/plat/32/plat_mode/machine/
A Dhardware.h56 #define KERNEL_PT_BASE UL_CONST(0xffc00000) macro
70 #define TLBBITMAP_PPTR (KERNEL_PT_BASE - TLBBITMAP_PD_RESERVED)
84 #define KDEV_BASE KERNEL_PT_BASE
/seL4-master/include/arch/arm/arch/64/mode/
A Dhardware.h197 #define KERNEL_PT_BASE UL_CONST(0x000000ffffe00000) macro
199 #define KERNEL_PT_BASE UL_CONST(0xffffffffffe00000) macro
204 #define KDEV_BASE KERNEL_PT_BASE
/seL4-master/include/arch/arm/arch/32/mode/
A Dhardware.h79 #define KERNEL_PT_BASE UL_CONST(0xfff00000) macro
83 #define KDEV_BASE KERNEL_PT_BASE

Completed in 4 milliseconds