sys/arm64/arm64/pmap.c

10266

if ((l1e & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_BLOCK) {

sys/arm64/arm64/pmap.c

10272

if ((l2e & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_BLOCK) {

sys/arm64/arm64/pmap.c

2295

if ((tpte & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_BLOCK) {

sys/arm64/arm64/pmap.c

2304

if ((tpte & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_BLOCK) {

sys/arm64/arm64/pmap.c

2312

MPASS((tpte & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_PAGE);

sys/arm64/arm64/pmap.c

2371

if ((tpte & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_BLOCK) {

sys/arm64/arm64/pmap.c

2380

if ((tpte & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_BLOCK) {

sys/arm64/arm64/pmap.c

615

KASSERT((l1 & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_TABLE,

sys/arm64/arm64/pmap.c

649

KASSERT((l2 & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_TABLE,

sys/arm64/iommu/iommu_pmap.c

144

KASSERT((l1 & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_TABLE,

sys/arm64/iommu/iommu_pmap.c

176

KASSERT((l2 & ATTR_DESCR_TYPE_MASK) == ATTR_DESCR_TYPE_TABLE,