Searched refs:guest_cvmctl (Results 1 – 1 of 1) sorted by relevance
2776 u64 guest_cvmctl, cvmvmconfig; in kvm_vz_hardware_enable() local2781 guest_cvmctl = read_gc0_cvmctl(); in kvm_vz_hardware_enable()2782 guest_cvmctl &= ~CVMCTL_IPTI; in kvm_vz_hardware_enable()2783 guest_cvmctl |= 7ull << CVMCTL_IPTI_SHIFT; in kvm_vz_hardware_enable()2784 guest_cvmctl &= ~CVMCTL_IPPCI; in kvm_vz_hardware_enable()2785 guest_cvmctl |= 6ull << CVMCTL_IPPCI_SHIFT; in kvm_vz_hardware_enable()2786 write_gc0_cvmctl(guest_cvmctl); in kvm_vz_hardware_enable()