Searched refs:KERNEL_BASE (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/32/plat_mode/machine/
H A Dhardware.h18 #define KERNEL_BASE 0xFF800000lu macro
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/64/plat_mode/machine/
H A Dhardware.h24 * KERNEL_BASE there are 254 entries remaining, which represents how much physical memory
26 #define KERNEL_BASE 0xFFFFFFFF80000000lu macro
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h33 #define KERNEL_BASE UL_CONST(0xffffffff80000000) macro
43 #define PADDR_TOP (KERNEL_BASE - PPTR_BASE)
46 #define PADDR_HIGH_TOP (PPTR_KDEV - KERNEL_BASE)
61 #define KERNEL_BASE_OFFSET (KERNEL_BASE - PADDR_BASE)
62 #define kernelBase KERNEL_BASE
98 assert((word_t)pptr >= KERNEL_BASE);
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/
H A Dhardware.h45 #define PADDR_TOP (KERNEL_BASE - PPTR_BASE + PADDR_BASE)
48 #define PADDR_HIGH_TOP (-KERNEL_BASE + PADDR_LOAD)
51 #define KERNEL_BASE_OFFSET (KERNEL_BASE - PADDR_LOAD)
54 #define kernelBase KERNEL_BASE
55 #define PPTR_TOP KERNEL_BASE
104 assert((word_t)pptr >= KERNEL_BASE);
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c64 assert(GET_PML4_INDEX(KERNEL_BASE) == BIT(PML4_INDEX_BITS) - 1);
65 assert(GET_PDPT_INDEX(KERNEL_BASE) == BIT(PML4_INDEX_BITS) - 2);
67 assert(IS_ALIGNED(KERNEL_BASE, seL4_HugePageBits));
81 x64KSKernelPDPT[GET_PDPT_INDEX(KERNEL_BASE)] = pdpte_pdpte_1g_new(
148 assert(GET_PML4_INDEX(KERNEL_BASE) == BIT(PML4_INDEX_BITS) - 1);
149 assert(GET_PDPT_INDEX(KERNEL_BASE) == BIT(PML4_INDEX_BITS) - 2);
151 assert(IS_ALIGNED(KERNEL_BASE, seL4_HugePageBits));
180 x64KSKernelPDPT[GET_PDPT_INDEX(KERNEL_BASE)] = pdpte_pdpte_pd_new(
280 x64KSSKIMPDPT[GET_PDPT_INDEX(KERNEL_BASE)] = pdpte_pdpte_pd_new(
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c241 kpptr_to_paddr((void*)KERNEL_BASE), kpptr_to_paddr(ki_boot_end)
H A Dvspace.c113 while (pptr < KERNEL_BASE) {
123 assert(pptr == KERNEL_BASE);
134 while (pptr < KERNEL_BASE + RISCV_GET_LVL_PGSIZE(1)) {

Completed in 39 milliseconds