Searched refs:target_kernel_text (Results 1 – 1 of 1) sorted by relevance
101 static uint64_t target_kernel_text; /* value to use for KERNEL_TEXT */ variable538 if (va >= target_kernel_text && pge_support) in map_ma_at_va()1735 DBG(target_kernel_text); in build_page_tables()1739 map_pa_at_va(ktext_phys + off, target_kernel_text + off, level); in build_page_tables()2018 target_kernel_text = KERNEL_TEXT_amd64; in startup_kernel()2020 target_kernel_text = KERNEL_TEXT_i386_xpv; in startup_kernel()2022 target_kernel_text = KERNEL_TEXT_i386; in startup_kernel()2024 DBG(target_kernel_text); in startup_kernel()2242 entry_addr_low = (uint32_t)target_kernel_text; in startup_kernel()