Searched refs:guest_cvmctl (Results 1 – 1 of 1) sorted by relevance
2871 u64 guest_cvmctl, cvmvmconfig; in kvm_vz_hardware_enable() local2876 guest_cvmctl = read_gc0_cvmctl(); in kvm_vz_hardware_enable()2877 guest_cvmctl &= ~CVMCTL_IPTI; in kvm_vz_hardware_enable()2878 guest_cvmctl |= 7ull << CVMCTL_IPTI_SHIFT; in kvm_vz_hardware_enable()2879 guest_cvmctl &= ~CVMCTL_IPPCI; in kvm_vz_hardware_enable()2880 guest_cvmctl |= 6ull << CVMCTL_IPPCI_SHIFT; in kvm_vz_hardware_enable()2881 write_gc0_cvmctl(guest_cvmctl); in kvm_vz_hardware_enable()
