Home
last modified time | relevance | path

Searched refs:KERNEL_ELF_BASE (Results 1 – 16 of 16) sorted by relevance

/seL4-master/src/arch/arm/
A Dcommon_arm.lds15 KERNEL_OFFSET = KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE;
19 . = KERNEL_ELF_BASE;
/seL4-master/src/arch/riscv/
A Dcommon_riscv.lds18 KERNEL_OFFSET = KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE;
22 . = KERNEL_ELF_BASE;
/seL4-master/include/
A Dhardware.h43 #define KERNEL_ELF_BASE_OFFSET (KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE)
A Dmachine.h33 assert((paddr_t)pptr >= KERNEL_ELF_BASE); in addrFromKPPtr()
/seL4-master/include/arch/arm/arch/32/mode/
A Dhardware.h75 #define KERNEL_ELF_BASE (USER_TOP + (KERNEL_ELF_PADDR_BASE & MASK(22))) macro
/seL4-master/include/plat/pc99/plat/32/plat_mode/machine/
A Dhardware.h80 #define KERNEL_ELF_BASE (PPTR_BASE + KERNEL_ELF_PADDR_BASE) macro
/seL4-master/include/plat/pc99/plat/64/plat_mode/machine/
A Dhardware.h93 #define KERNEL_ELF_BASE (PPTR_TOP + KERNEL_ELF_PADDR_BASE) macro
/seL4-master/include/arch/arm/arch/64/mode/
A Dhardware.h192 #define KERNEL_ELF_BASE (PPTR_BASE_OFFSET + KERNEL_ELF_PADDR_BASE) macro
/seL4-master/include/arch/riscv/arch/64/mode/
A Dhardware.h98 #define KERNEL_ELF_BASE (PPTR_TOP + (KERNEL_ELF_PADDR_BASE & MASK(30))) macro
/seL4-master/include/arch/riscv/arch/32/mode/
A Dhardware.h57 #define KERNEL_ELF_BASE UL_CONST(0xFF800000) macro
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c59 assert(GET_PML4_INDEX(KERNEL_ELF_BASE) == BIT(PML4_INDEX_BITS) - 1); in map_kernel_window()
60 assert(GET_PDPT_INDEX(KERNEL_ELF_BASE) == BIT(PML4_INDEX_BITS) - 2); in map_kernel_window()
62 assert(IS_ALIGNED(KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE, seL4_HugePageBits)); in map_kernel_window()
76 x64KSKernelPDPT[GET_PDPT_INDEX(KERNEL_ELF_BASE)] = pdpte_pdpte_1g_new( in map_kernel_window()
143 assert(GET_PML4_INDEX(KERNEL_ELF_BASE) == BIT(PML4_INDEX_BITS) - 1); in map_kernel_window()
144 assert(GET_PDPT_INDEX(KERNEL_ELF_BASE) == BIT(PML4_INDEX_BITS) - 2); in map_kernel_window()
146 assert(IS_ALIGNED(KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE, seL4_HugePageBits)); in map_kernel_window()
175 x64KSKernelPDPT[GET_PDPT_INDEX(KERNEL_ELF_BASE)] = pdpte_pdpte_pd_new( in map_kernel_window()
274 x64KSSKIMPDPT[GET_PDPT_INDEX(KERNEL_ELF_BASE)] = pdpte_pdpte_pd_new( in map_skim_window()
/seL4-master/src/arch/riscv/kernel/
A Dboot.c62 res_reg[0].start = (pptr_t)paddr_to_pptr(kpptr_to_paddr((void *)KERNEL_ELF_BASE)); in arch_init_freemem()
194 kpptr_to_paddr((void *)KERNEL_ELF_BASE), kpptr_to_paddr(ki_boot_end) in try_init_kernel()
A Dvspace.c128 pptr = ROUND_DOWN(KERNEL_ELF_BASE, RISCV_GET_LVL_PGSIZE_BITS(0)); in map_kernel_window()
/seL4-master/src/arch/arm/kernel/
A Dboot.c45 reserved[0].start = KERNEL_ELF_BASE; in arch_init_freemem()
574 KERNEL_ELF_BASE, (pptr_t)ki_boot_end in try_init_kernel()
/seL4-master/src/plat/pc99/
A Dlinker.lds14 KLOAD_VADDR = KERNEL_ELF_BASE;
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c548 lockTLBEntry(KERNEL_ELF_BASE); in activate_kernel_vspace()

Completed in 33 milliseconds