L2_T_SIZE
return (L2_T_SIZE - (va & L2_T_OFFSET));
KASSERT((va & ((L1_S_SIZE * (PAGE_SIZE / L2_T_SIZE)) - 1)) == 0);
PDE_SYNC_RANGE(pdep, PAGE_SIZE / L2_T_SIZE);
KASSERTMSG((((uintptr_t)pdep / sizeof(pde)) & (PAGE_SIZE / L2_T_SIZE - 1)) == 0, "%p", pdep);
for (int k = 1; k < PAGE_SIZE / L2_T_SIZE; k++) {
pde += L2_T_SIZE;
#define L2_T_OFFSET (L2_T_SIZE - 1)