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

/seL4-refos-master/kernel/include/plat/pc99/plat/machine/
H A Ddevices.h11 #define PPTR_APIC KDEV_BASE
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/
H A Dhardware.h109 * 2^64 - 2^21 +-------------------+ KDEV_BASE
162 * 2^48 - 2^21 +-------------------+ KDEV_BASE
204 #define KDEV_BASE KERNEL_PT_BASE macro
207 #define KS_LOG_PPTR (KDEV_BASE - UL_CONST(0x200000))
/seL4-refos-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h42 * 2^64 - 2^30 +-------------------+ KDEV_BASE
98 #define KDEV_BASE UL_CONST(0xffffffffc0000000) macro
104 #define KS_LOG_PPTR (KDEV_BASE + BIT(seL4_LargePageBits))
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/
H A Dhardware.h49 * 2^32 - 2^20 +-------------------+ KDEV_BASE
83 #define KDEV_BASE KERNEL_PT_BASE macro
/seL4-refos-master/kernel/include/plat/pc99/plat/32/plat_mode/machine/
H A Dhardware.h38 * 2^32 - 2^22 +-------------------+ KDEV_BASE
84 #define KDEV_BASE KERNEL_PT_BASE macro
/seL4-refos-master/kernel/include/arch/riscv/arch/64/mode/
H A Dhardware.h32 * -> +-------------------KDEV_BASE-+ 2^64 - 1GiB
59 * | | +------+ +-------------------------+ KDEV_BASE - KERNEL_ELF_BASE + PADDR_LOAD
102 #define KDEV_BASE UL_CONST(0xFFFFFFFFC0000000) macro
/seL4-refos-master/kernel/include/arch/riscv/arch/32/mode/
H A Dhardware.h15 * 2^32 - 2^22 +-------------------+ KDEV_BASE
61 #define KDEV_BASE UL_CONST(0xFFC00000) macro
/seL4-refos-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c61 assert(GET_PDPT_INDEX(KDEV_BASE) == BIT(PML4_INDEX_BITS) - 1);
63 assert(IS_ALIGNED(KDEV_BASE, seL4_HugePageBits));
114 x64KSKernelPDPT[GET_PDPT_INDEX(KDEV_BASE)] = pdpte_pdpte_pd_new(
145 assert(GET_PDPT_INDEX(KDEV_BASE) == BIT(PML4_INDEX_BITS) - 1);
147 assert(IS_ALIGNED(KDEV_BASE, seL4_HugePageBits));
212 x64KSKernelPDPT[GET_PDPT_INDEX(KDEV_BASE)] = pdpte_pdpte_pd_new(
240 ksLog = (ks_log_entry_t *)(KDEV_BASE + 0x200000 * (BIT(PD_INDEX_BITS) - 1));
/seL4-refos-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c303 /* null mappings up to KDEV_BASE */
305 while (idx < (KDEV_BASE &MASK(LARGE_PAGE_BITS)) >> PAGE_BITS) {
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c93 if (vaddr >= KDEV_BASE) {
156 kernel_root_pageTable[RISCV_GET_PT_INDEX(KDEV_BASE, 0)] =
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dvspace.c130 word_t idx = (KDEV_BASE & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS;

Completed in 48 milliseconds