Home
last modified time | relevance | path

Searched refs:KDEV_BASE (Results 1 – 11 of 11) sorted by relevance

/seL4-master/include/plat/pc99/plat/64/plat_mode/machine/
A Dhardware.h98 #define KDEV_BASE UL_CONST(0xffffffffc0000000) macro
104 #define KS_LOG_PPTR (KDEV_BASE + BIT(seL4_LargePageBits))
/seL4-master/include/arch/arm/arch/64/mode/
A Dhardware.h204 #define KDEV_BASE KERNEL_PT_BASE macro
207 #define KS_LOG_PPTR (KDEV_BASE - UL_CONST(0x200000))
/seL4-master/include/plat/pc99/plat/machine/
A Ddevices.h11 #define PPTR_APIC KDEV_BASE
/seL4-master/include/arch/arm/arch/32/mode/
A Dhardware.h83 #define KDEV_BASE KERNEL_PT_BASE macro
/seL4-master/include/plat/pc99/plat/32/plat_mode/machine/
A Dhardware.h84 #define KDEV_BASE KERNEL_PT_BASE macro
/seL4-master/include/arch/riscv/arch/64/mode/
A Dhardware.h102 #define KDEV_BASE UL_CONST(0xFFFFFFFFC0000000) macro
/seL4-master/include/arch/riscv/arch/32/mode/
A Dhardware.h61 #define KDEV_BASE UL_CONST(0xFFC00000) macro
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c61 assert(GET_PDPT_INDEX(KDEV_BASE) == BIT(PML4_INDEX_BITS) - 1); in map_kernel_window()
63 assert(IS_ALIGNED(KDEV_BASE, seL4_HugePageBits)); in map_kernel_window()
114 x64KSKernelPDPT[GET_PDPT_INDEX(KDEV_BASE)] = pdpte_pdpte_pd_new( in map_kernel_window()
145 assert(GET_PDPT_INDEX(KDEV_BASE) == BIT(PML4_INDEX_BITS) - 1); in map_kernel_window()
147 assert(IS_ALIGNED(KDEV_BASE, seL4_HugePageBits)); in map_kernel_window()
212 x64KSKernelPDPT[GET_PDPT_INDEX(KDEV_BASE)] = pdpte_pdpte_pd_new( in map_kernel_window()
240 ksLog = (ks_log_entry_t *)(KDEV_BASE + 0x200000 * (BIT(PD_INDEX_BITS) - 1)); in map_kernel_window()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c305 while (idx < (KDEV_BASE &MASK(LARGE_PAGE_BITS)) >> PAGE_BITS) { in map_kernel_window()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c93 if (vaddr >= KDEV_BASE) { in map_kernel_frame()
156 kernel_root_pageTable[RISCV_GET_PT_INDEX(KDEV_BASE, 0)] = in map_kernel_window()
/seL4-master/src/arch/x86/kernel/
A Dvspace.c130 word_t idx = (KDEV_BASE & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS; in map_kernel_window_devices()

Completed in 23 milliseconds