PT_X86
MPASS(pmap->pm_type == PT_X86);
MPASS(pmap->pm_type == PT_X86);
if (pmap->pm_type == PT_X86 &&
KASSERT(pmap->pm_type != PT_X86 || (*pte & X86_PG_PKU_MASK) == 0,
if (pmap->pm_type != PT_X86 ||
if (pmap->pm_type != PT_X86 ||
if (pmap->pm_type == PT_X86 &&
MPASS(dst_pmap->pm_type == PT_X86);
MPASS(src_pmap->pm_type == PT_X86);
MPASS(pmap->pm_type == PT_X86);
if (pmap->pm_type != PT_X86 || keyidx > PMAP_MAX_PKRU_IDX ||
case PT_X86:
case PT_X86:
case PT_X86:
case PT_X86:
case PT_X86:
case PT_X86:
case PT_X86:
case PT_X86:
case PT_X86:
case PT_X86:
KASSERT(pmap->pm_type == PT_X86,
return (pmap->pm_type == PT_X86 ? X86_PG_PKU_MASK : 0);
KASSERT(pmap->pm_type == PT_X86,
KASSERT(pmap->pm_type == PT_X86,
KASSERT(pmap->pm_type == PT_X86,
case PT_X86:
if (pmap->pm_type == PT_X86)
return (pmap_pinit_type(pmap, PT_X86, pmap_flags));
if (pmap->pm_type == PT_X86 &&
if (va < VM_MAXUSER_ADDRESS && pmap->pm_type == PT_X86)
dst_pmap->pm_type != PT_X86 ||