SPRN_MMUCFG
case SPRN_MMUCFG:
vcpu->arch.mmucfg = mfspr(SPRN_MMUCFG) & ~MMUCFG_LPIDSIZE;
if ((mfspr(SPRN_MMUCFG) & MMUCFG_MAVN) == MMUCFG_MAVN_V1) {
unsigned int mmucfg = mfspr(SPRN_MMUCFG);
mmucfg = mfspr(SPRN_MMUCFG);