txx9_iocled_init
void txx9_iocled_init(unsigned long baseaddr,
txx9_iocled_init(RBTX4927_LED_ADDR - IO_BASE, -1, 3, 1, "green", NULL);