PMAP_EFI
prot | PMAP_WIRED | PMAP_EFI);
PROT_READ | PROT_WRITE | PROT_EXEC | PMAP_WIRED | PMAP_EFI);
PROT_READ | PROT_WRITE | PMAP_WIRED | PMAP_EFI);
npte |= ((flags & PMAP_EFI) ? 0 : PG_u);