2776 	u64 guest_cvmctl, cvmvmconfig;  in kvm_vz_hardware_enable()  local
2788 		cvmvmconfig = read_c0_cvmvmconfig();  in kvm_vz_hardware_enable()
2790 		cvmvmconfig |= CVMVMCONF_DGHT;  in kvm_vz_hardware_enable()
2792 		mmu_size = ((cvmvmconfig & CVMVMCONF_MMUSIZEM1)  in kvm_vz_hardware_enable()
2796 		cvmvmconfig &= ~CVMVMCONF_RMMUSIZEM1;  in kvm_vz_hardware_enable()
2797 		cvmvmconfig |= mmu_size - 1;  in kvm_vz_hardware_enable()
2798 		write_c0_cvmvmconfig(cvmvmconfig);  in kvm_vz_hardware_enable()
2879 	u64 cvmvmconfig;  in kvm_vz_hardware_disable()  local
2892 		cvmvmconfig = read_c0_cvmvmconfig();  in kvm_vz_hardware_disable()
2893 		mmu_size = ((cvmvmconfig & CVMVMCONF_MMUSIZEM1)  in kvm_vz_hardware_disable()
2895 		cvmvmconfig &= ~CVMVMCONF_RMMUSIZEM1;  in kvm_vz_hardware_disable()
2896 		cvmvmconfig |= mmu_size - 1;  in kvm_vz_hardware_disable()
2897 		write_c0_cvmvmconfig(cvmvmconfig);  in kvm_vz_hardware_disable()