pte1_is_dirty
if (pte1_is_dirty(opte1))
if (pte1_is_dirty(pte1)) {
if (pte1_is_managed(opte1) && pte1_is_dirty(opte1)) {
rv = pte1_is_dirty(pte1);
if (pte1_is_dirty(opte1)) {
if (pte1_is_dirty(pte1))