// If the Power Management Base Address is not programmed,\r
// then program it now.\r
//\r
- PciAndThenOr32 (Pmba, (UINT32) ~0xFFC0, PIIX4_PMBA_VALUE);\r
+ PciAndThenOr32 (Pmba, ~(UINT32)PIIX4_PMBA_MASK, PIIX4_PMBA_VALUE);\r
\r
//\r
// Enable PMBA I/O port decodes\r