pte_load
pde = pte_load(&pd[va >> PDRSHIFT]);
pte = pte_load(&pt[k]);
if ((pa = pte_load(&PTD[va >> PDRSHIFT])) & PG_PS) {