guest_cvmctl 2776 arch/mips/kvm/vz.c u64 guest_cvmctl, cvmvmconfig; guest_cvmctl 2781 arch/mips/kvm/vz.c guest_cvmctl = read_gc0_cvmctl(); guest_cvmctl 2782 arch/mips/kvm/vz.c guest_cvmctl &= ~CVMCTL_IPTI; guest_cvmctl 2783 arch/mips/kvm/vz.c guest_cvmctl |= 7ull << CVMCTL_IPTI_SHIFT; guest_cvmctl 2784 arch/mips/kvm/vz.c guest_cvmctl &= ~CVMCTL_IPPCI; guest_cvmctl 2785 arch/mips/kvm/vz.c guest_cvmctl |= 6ull << CVMCTL_IPPCI_SHIFT; guest_cvmctl 2786 arch/mips/kvm/vz.c write_gc0_cvmctl(guest_cvmctl);