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