highlander_plat_irq_setup
unsigned char *ucp = highlander_plat_irq_setup();
unsigned char *highlander_plat_irq_setup(void);