PS2MULT_SESSION_END
serio_write(psm->mx_serio, PS2MULT_SESSION_END);
serio_write(serio, PS2MULT_SESSION_END);
case PS2MULT_SESSION_END:
PS2MULT_SESSION_START, PS2MULT_SESSION_END,