l1pte_setone
l1pte_setone(pdep, npde);
l1pte_setone(pdep, 0);
l1pte_setone(pdep, pde);
l1pte_setone(pdep, pde);
l1pte_setone(pdep, npde);
l1pte_setone(pdep, npde);
l1pte_setone(pdep + l1slot, npde);