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