l1pte_set
l1pte_set(pdep, npde);
l1pte_set(&pdep[l1slot], npde);
l1pte_set(&pdep[l1slot], 0);
l1pte_set(pdep + segl1slot, npde);