Home
last modified time | relevance | path

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

/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c110 static uint64_t target_kernel_text; /* value to use for KERNEL_TEXT */ variable
555 if (va >= target_kernel_text && pge_support) in map_ma_at_va()
1982 DBG(target_kernel_text); in build_page_tables()
1986 map_pa_at_va(ktext_phys + off, target_kernel_text + off, level); in build_page_tables()
2305 target_kernel_text = KERNEL_TEXT; in startup_kernel()
2306 DBG(target_kernel_text); in startup_kernel()
2538 entry_addr_low = (uint32_t)target_kernel_text; in startup_kernel()