gsckbc_send_devcmd
static int gsckbc_send_devcmd(void *, pckbport_slot_t, u_char);
gsckbc_send_devcmd,