vm_phys_add_seg
vm_phys_add_seg(pt2tab_pa, pmap_preboot_get_pages(0));
vm_phys_add_seg(KPTphys, KPTphys + ptoa(nkpt));
vm_phys_add_seg(phys_avail[i], phys_avail[i + 1]);
vm_phys_add_seg(seg->start, seg->end);
void vm_phys_add_seg(vm_paddr_t start, vm_paddr_t end);