mouse8042_process_msg
(void) mouse8042_process_msg(q, mp, state);
if (mouse8042_process_msg(qp, mp, state) != 0)