2871 	u64 guest_cvmctl, cvmvmconfig;  in kvm_vz_hardware_enable()  local
2883 		cvmvmconfig = read_c0_cvmvmconfig();  in kvm_vz_hardware_enable()
2885 		cvmvmconfig |= CVMVMCONF_DGHT;  in kvm_vz_hardware_enable()
2887 		mmu_size = ((cvmvmconfig & CVMVMCONF_MMUSIZEM1)  in kvm_vz_hardware_enable()
2891 		cvmvmconfig &= ~CVMVMCONF_RMMUSIZEM1;  in kvm_vz_hardware_enable()
2892 		cvmvmconfig |= mmu_size - 1;  in kvm_vz_hardware_enable()
2893 		write_c0_cvmvmconfig(cvmvmconfig);  in kvm_vz_hardware_enable()
2984 	u64 cvmvmconfig;  in kvm_vz_hardware_disable()  local
2997 		cvmvmconfig = read_c0_cvmvmconfig();  in kvm_vz_hardware_disable()
2998 		mmu_size = ((cvmvmconfig & CVMVMCONF_MMUSIZEM1)  in kvm_vz_hardware_disable()
3000 		cvmvmconfig &= ~CVMVMCONF_RMMUSIZEM1;  in kvm_vz_hardware_disable()
3001 		cvmvmconfig |= mmu_size - 1;  in kvm_vz_hardware_disable()
3002 		write_c0_cvmvmconfig(cvmvmconfig);  in kvm_vz_hardware_disable()