CVMCTL_IPTI_SHIFT
#define CVMCTL_IPTI (_U64CAST_(0x7) << CVMCTL_IPTI_SHIFT)
guest_cvmctl |= 7ull << CVMCTL_IPTI_SHIFT;