pmap_trunc_seg
- pmap_trunc_seg(VM_MIN_KERNEL_ADDRESS)) / NBSEG;
vaddr_t lastseg_va = pmap_trunc_seg(sva) + NBSEG;