Searched refs:KERNEL_ELF_BASE (Results 1 – 16 of 16) sorted by relevance
15 KERNEL_OFFSET = KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE;19 . = KERNEL_ELF_BASE;
18 KERNEL_OFFSET = KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE;22 . = KERNEL_ELF_BASE;
43 #define KERNEL_ELF_BASE_OFFSET (KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE)
33 assert((paddr_t)pptr >= KERNEL_ELF_BASE); in addrFromKPPtr()
75 #define KERNEL_ELF_BASE (USER_TOP + (KERNEL_ELF_PADDR_BASE & MASK(22))) macro
80 #define KERNEL_ELF_BASE (PPTR_BASE + KERNEL_ELF_PADDR_BASE) macro
93 #define KERNEL_ELF_BASE (PPTR_TOP + KERNEL_ELF_PADDR_BASE) macro
192 #define KERNEL_ELF_BASE (PPTR_BASE_OFFSET + KERNEL_ELF_PADDR_BASE) macro
98 #define KERNEL_ELF_BASE (PPTR_TOP + (KERNEL_ELF_PADDR_BASE & MASK(30))) macro
57 #define KERNEL_ELF_BASE UL_CONST(0xFF800000) macro
59 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()
62 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()
128 pptr = ROUND_DOWN(KERNEL_ELF_BASE, RISCV_GET_LVL_PGSIZE_BITS(0)); in map_kernel_window()
45 reserved[0].start = KERNEL_ELF_BASE; in arch_init_freemem()574 KERNEL_ELF_BASE, (pptr_t)ki_boot_end in try_init_kernel()
14 KLOAD_VADDR = KERNEL_ELF_BASE;
548 lockTLBEntry(KERNEL_ELF_BASE); in activate_kernel_vspace()
Completed in 33 milliseconds