kbtrans_streams_fini

799

(void) kbtrans_streams_fini(kb8042->hw_kbtrans);

1922

(void) kbtrans_streams_fini(usbkbmd->usbkbm_kbtrans);

1934

(void) kbtrans_streams_fini(usbkbmd->usbkbm_kbtrans);

492

(void) kbtrans_streams_fini(usbkbmd->usbkbm_kbtrans);

512

(void) kbtrans_streams_fini(usbkbmd->usbkbm_kbtrans);

600

(void) kbtrans_streams_fini(usbkbmd->usbkbm_kbtrans);

129

extern int kbtrans_streams_fini(struct kbtrans *);