MMUCFG_MAVN
has_ftr = ((vcpu->arch.mmucfg & MMUCFG_MAVN) == MMUCFG_MAVN_V2);
if ((mfspr(SPRN_MMUCFG) & MMUCFG_MAVN) == MMUCFG_MAVN_V1) {
if ((mmucfg & MMUCFG_MAVN) == MMUCFG_MAVN_V2) {
if ((mmucfg & MMUCFG_MAVN) == MMUCFG_MAVN_V1) {