PTOV_OFFSET
atdevbase = ISA_HOLE_START + PTOV_OFFSET;
preload_metadata = (caddr_t)(uintptr_t)(modulep + PTOV_OFFSET);
preload_bootstrap_relocate(PTOV_OFFSET);
kern_envp = MD_FETCH(kmdp, MODINFOMD_ENVP, char *) + PTOV_OFFSET;
virtual2_end = PTOV_OFFSET;
virtual_start = (vm_offset_t) PTOV_OFFSET + *firstaddr;
kernel_pmap->pm_pml4 = (pdp_entry_t *) (PTOV_OFFSET + KPML4phys);
pmap->pm_pml4 = (pml4_entry_t *)(PTOV_OFFSET + KPML4phys);
KKASSERT(pmap->pm_pml4 != (void *)(PTOV_OFFSET + KPML4phys));