/* Registers an interrupt handler for the PECI module. */
void PECIIntRegister(unsigned long ulBase, void(*pfnHandler)(void))
/* Registers an interrupt handler for the PECI module. */
void PECIIntRegister(unsigned long ulBase, void(*pfnHandler)(void))
{
    ASSERT(ulBase == PECI0_BASE);
    ASSERT(pfnHandler != 0);
    IntRegister(INT_PECI0, pfnHandler);
    IntEnable(INT_PECI0);
}