pte1_roundup
va = pte1_roundup(va) + pte1_offset;
kernel_vm_end = pte1_roundup(kernel_vm_end);
*addr = pte1_roundup(*addr) + pte1_offset;
last_paddr = pte1_roundup(last);