ATTR_SW_MANAGED
if (old_l2 & ATTR_SW_MANAGED) {
if (old_l3 & ATTR_SW_MANAGED) {
if ((first_l3e & ATTR_SW_MANAGED) != 0) {
if ((old_l3 & ATTR_SW_MANAGED) != 0) {
MPASS((pmap_load(l1) & ATTR_SW_MANAGED) == 0);
if ((old_l2 & ATTR_SW_MANAGED) != 0 &&
if ((l3e & ATTR_SW_MANAGED) != 0 &&
MPASS((pmap_load(l1) & ATTR_SW_MANAGED) == 0);
if ((l3 & ATTR_SW_MANAGED) != 0 &&
if ((newl2 & ATTR_SW_MANAGED) != 0)
new_l3 |= ATTR_SW_MANAGED;
if ((orig_l3 & ATTR_SW_MANAGED) != 0 &&
if ((orig_l3 & ATTR_SW_MANAGED) != 0) {
if ((orig_l3 & ATTR_SW_MANAGED) != 0 &&
new_l2 |= ATTR_SW_MANAGED;
if ((new_l2 & ATTR_SW_MANAGED) != 0) {
l3e |= ATTR_SW_MANAGED;
KASSERT(!VA_IS_CLEANMAP(va) || (l3e & ATTR_SW_MANAGED) == 0,
if ((l3e & ATTR_SW_MANAGED) != 0) {
l3_val |= ATTR_SW_MANAGED;
MPASS((pmap_load(l1) & (ATTR_SW_MANAGED |
KASSERT((l3e & ATTR_SW_MANAGED) != 0,
((srcptepaddr & ATTR_SW_MANAGED) == 0 ||
if ((srcptepaddr & ATTR_SW_MANAGED) != 0)
if ((ptetemp & ATTR_SW_MANAGED) == 0)
if ((oldl2 & ATTR_SW_MANAGED) == 0)
if ((oldl3 & (ATTR_SW_MANAGED | ATTR_DESCR_MASK)) !=
(ATTR_SW_MANAGED | L3_PAGE))
KASSERT((oldl1 & ATTR_SW_MANAGED) == 0,
if ((oldl2 & ATTR_SW_MANAGED) != 0)
if ((oldl2 & ATTR_SW_MANAGED) != 0)
managed = (tpte & ATTR_SW_MANAGED) != 0;
KASSERT((pte & ATTR_SW_MANAGED) != 0, ("pte %#lx is unmanaged", pte));