CVMCTL_IPPCI_SHIFT
#define CVMCTL_IPPCI (_U64CAST_(0x7) << CVMCTL_IPPCI_SHIFT)
guest_cvmctl |= 6ull << CVMCTL_IPPCI_SHIFT;