/*
 *  The license and distribution terms for this file may be
 *  found in the file LICENSE in this distribution or at
 *  http://www.rtems.com/license/LICENSE.
 *
 *  $Id$
 */

#include <bsp.h>

void irqforce(int irq)
{
  ERC32_Unmask_interrupt(irq);
  ERC32_Force_interrupt(irq);
}