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

/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c97 static uint64_t target_kernel_text; /* value to use for KERNEL_TEXT */ variable
502 if (va >= target_kernel_text && pge_support)
1326 DBG(target_kernel_text);
1330 map_pa_at_va(ktext_phys + off, target_kernel_text + off, level);
1403 * the kernel nucleus at virtual address of target_kernel_text using large page
1459 * Need correct target_kernel_text value
1462 target_kernel_text = KERNEL_TEXT_amd64;
1464 target_kernel_text = KERNEL_TEXT_i386_xpv;
1466 target_kernel_text = KERNEL_TEXT_i386;
1468 DBG(target_kernel_text);
[all...]

Completed in 55 milliseconds