PAGE_MASK_4M
len = roundup2(len + (rva & PAGE_MASK_4M), PAGE_SIZE_4M);
rva &= ~PAGE_MASK_4M;
len = roundup2(len + (rva & PAGE_MASK_4M), PAGE_SIZE_4M);
rva &= ~PAGE_MASK_4M;
if ((va & ~PAGE_MASK_4M) == kernel_tlbs[i].te_va) {
(paddr_t)(va & PAGE_MASK_4M);