L1_BLOCK
if ((l1e & ATTR_DESCR_MASK) == L1_BLOCK) {
if ((l1e & ATTR_DESCR_MASK) == L1_BLOCK) {
if ((l1e & ATTR_DESCR_MASK) == L1_BLOCK) {
ATTR_S1_XN | ATTR_KERN_GP | L1_BLOCK);
KASSERT((tpte & ATTR_DESCR_MASK) == L1_BLOCK,
(lvl < 3 && (tpte & ATTR_DESCR_MASK) == L1_BLOCK),
if ((pmap_load(l1) & ATTR_DESCR_MASK) == L1_BLOCK) {
if ((pmap_load(l1) & ATTR_DESCR_MASK) == L1_BLOCK) {
(origpte & ATTR_DESCR_MASK) == L1_BLOCK) ||
new_l3 |= L1_BLOCK;
L1_BLOCK)
if ((pmap_load(l1) & ATTR_DESCR_MASK) == L1_BLOCK) {
if ((pmap_load(l1) & ATTR_DESCR_MASK) == L1_BLOCK) {
if (desc == L1_BLOCK) {
if (desc == L1_BLOCK && level == 1) {
if ((pmap_load(l1) & ATTR_DESCR_MASK) == L1_BLOCK) {
if ((pmap_load(l1p) & ATTR_DESCR_MASK) == L1_BLOCK) {
KASSERT((oldl1 & ATTR_DESCR_MASK) == L1_BLOCK,
CTASSERT(L1_BLOCK == L2_BLOCK);
case L1_BLOCK: