usbkbm_mctl_receive
usbkbm_mctl_receive(q, mp);
static void usbkbm_mctl_receive(queue_t *, mblk_t *);