2875 	u64 guest_cvmctl, cvmvmconfig;  in kvm_vz_hardware_enable()  local
2887 		cvmvmconfig = read_c0_cvmvmconfig();  in kvm_vz_hardware_enable()
2889 		cvmvmconfig |= CVMVMCONF_DGHT;  in kvm_vz_hardware_enable()
2891 		mmu_size = ((cvmvmconfig & CVMVMCONF_MMUSIZEM1)  in kvm_vz_hardware_enable()
2895 		cvmvmconfig &= ~CVMVMCONF_RMMUSIZEM1;  in kvm_vz_hardware_enable()
2896 		cvmvmconfig |= mmu_size - 1;  in kvm_vz_hardware_enable()
2897 		write_c0_cvmvmconfig(cvmvmconfig);  in kvm_vz_hardware_enable()
2988 	u64 cvmvmconfig;  in kvm_vz_hardware_disable()  local
3001 		cvmvmconfig = read_c0_cvmvmconfig();  in kvm_vz_hardware_disable()
3002 		mmu_size = ((cvmvmconfig & CVMVMCONF_MMUSIZEM1)  in kvm_vz_hardware_disable()
3004 		cvmvmconfig &= ~CVMVMCONF_RMMUSIZEM1;  in kvm_vz_hardware_disable()
3005 		cvmvmconfig |= mmu_size - 1;  in kvm_vz_hardware_disable()
3006 		write_c0_cvmvmconfig(cvmvmconfig);  in kvm_vz_hardware_disable()