Symbol: CVMCTL_IPPCI_SHIFT