Searched refs:guest_cvmctl (Results 1 – 1 of 1) sorted by relevance
2875 u64 guest_cvmctl, cvmvmconfig; in kvm_vz_hardware_enable() local2880 guest_cvmctl = read_gc0_cvmctl(); in kvm_vz_hardware_enable()2881 guest_cvmctl &= ~CVMCTL_IPTI; in kvm_vz_hardware_enable()2882 guest_cvmctl |= 7ull << CVMCTL_IPTI_SHIFT; in kvm_vz_hardware_enable()2883 guest_cvmctl &= ~CVMCTL_IPPCI; in kvm_vz_hardware_enable()2884 guest_cvmctl |= 6ull << CVMCTL_IPPCI_SHIFT; in kvm_vz_hardware_enable()2885 write_gc0_cvmctl(guest_cvmctl); in kvm_vz_hardware_enable()
