1 2
/* for TI reference platforms sharing the same debug card */ extern int debug_card_init(u32 addr, unsigned gpio);