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);