X86_PG_PKU_MASK
KASSERT(pmap->pm_type != PT_X86 || (*pte & X86_PG_PKU_MASK) == 0,
("pte %p has unexpected PKU %ld", pte, *pte & X86_PG_PKU_MASK));
newpdpe = (*pdpe & ~X86_PG_PKU_MASK) |
newpde = (ptpaddr & ~X86_PG_PKU_MASK) |
newpte = (pte & ~X86_PG_PKU_MASK) | X86_PG_PKU(keyidx);
return (pmap->pm_type == PT_X86 ? X86_PG_PKU_MASK : 0);