kbd_sbdio_cnattach
extern void kbd_sbdio_cnattach(uint32_t, uint32_t);
kbd_sbdio_cnattach(TR2_KBMS_ADDR, TR2_KBMS_ADDR + 4);
extern void kbd_sbdio_cnattach(uint32_t, uint32_t);
kbd_sbdio_cnattach(TR2A_KBMS_BASE, TR2A_KBMS_BASE + 4);
int kbd_sbdio_cnattach(uint32_t, uint32_t);