KERNSTART
pml4e = (pml4_entry_t *)cr3 + pmap_pml4e_index(KERNSTART);
pdpe = (pdp_entry_t *)(*pml4e & PG_FRAME) + pmap_pdpe_index(KERNSTART);
pde = (pd_entry_t *)(*pdpe & PG_FRAME) + pmap_pde_index(KERNSTART);
physfree += ucode_load_bsp(physfree - kernphys + KERNSTART);
thread0.td_kstack = physfree - kernphys + KERNSTART;
dpcpu_init((void *)(physfree - kernphys + KERNSTART), 0);
pmap_pti_add_kva_locked((vm_offset_t)KERNSTART, (vm_offset_t)etext,
pa = pabase + ((vm_offset_t)&data[offset] - KERNSTART);
if (pa < trunc_2mpage(kernphys + btext - KERNSTART) ||
pa >= trunc_2mpage(kernphys + _end - KERNSTART))
if (pa >= trunc_2mpage(kernphys + brwsection - KERNSTART))
if (pa < round_2mpage(kernphys + etext - KERNSTART))
KERNSTART + amd64_loadaddr());
nkdmpde = howmany((vm_offset_t)brwsection - KERNSTART +
virtual_avail = (vm_offset_t)KERNSTART + round_2mpage(KERNend -
m->phys_addr >= kernphys + (vm_offset_t)&_end - KERNSTART, \
if (patchpoint < KERNSTART || target < KERNSTART)
KASSERT(patchpoint >= KERNSTART,