debug-devices.h 114 B

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