Searched refs:target_kernel_text (Results 1 – 1 of 1) sorted by relevance
90 static uint64_t target_kernel_text; /* value to use for KERNEL_TEXT */ variable489 if (va >= target_kernel_text && pge_support) in map_ma_at_va()1045 DBG(target_kernel_text); in build_page_tables()1049 map_pa_at_va(ktext_phys + off, target_kernel_text + off, level); in build_page_tables()1181 target_kernel_text = KERNEL_TEXT_amd64; in startup_kernel()1183 target_kernel_text = KERNEL_TEXT_i386_xpv; in startup_kernel()1185 target_kernel_text = KERNEL_TEXT_i386; in startup_kernel()1187 DBG(target_kernel_text); in startup_kernel()1404 entry_addr_low = (uint32_t)target_kernel_text; in startup_kernel()