S1_MMU_DISABLED
if (wr.level == S1_MMU_DISABLED)
if (wr->level == S1_MMU_DISABLED) {
if (WARN_ON_ONCE(wr.level == S1_MMU_DISABLED)) {
wr->level = S1_MMU_DISABLED;
wr->level = S1_MMU_DISABLED;
if (wr->level == S1_MMU_DISABLED) {
} else if (wr->level == S1_MMU_DISABLED) {