void ilc_route_external(int ilc_irq, int ext_out, int invert);
#define ILC_EXT_IRQ0   64
#define ILC_EXT_IRQ1   65
#define ILC_EXT_IRQ2   66
#define ILC_EXT_IRQ3   67
#define ILC_EXT_IRB_WAKEUP	68
#define ILC_EXT_NMI		69
#define ILC_EXT_MDINT		70
#define ILC_EXT_LOWPOWEROUT	71