/*
 *
 *      PowerPC part of the WarpUp hardware driver
 *      Be sure to read the instructions in the documentation before
 *      writing the code!
 *
 */

extern void syncPPC(void);       /*ASM source which performs an ISYNC/SYNC pair */

/*
 *
 *      ConfirmInterrupt
 *      Confirms the PPC Interrupt. INT signal should drive to
 *      inactive after confirmation
 *
 */

void __saveds ConfirmInterrupt(void)
{
/* drive INT signal to inactive state to confirm interrupt processing */

}