
#include <stdlib.h>
#include <stdio.h>
#include "cpe.h"
#include "interrupt.h"
#include "symbol.h"

UINT32 fLib_IRQSources = 0;

void MaskIRQ(UINT32 IRQ)
{
    volatile UINT32 *IRQBase;

    IRQBase = (UINT32 *)CPE_IC_BASE;

    IRQBase[(IRQ_MASK / sizeof(UINT32))] &= ~(1 << IRQ);
}

void UnmaskIRQ(UINT32 IRQ)
{
    volatile UINT32 *IRQBase;

    IRQBase = (UINT32 *)CPE_IC_BASE;

    IRQBase[(IRQ_MASK / sizeof(UINT32))] |= (1 << IRQ);
}

