static void ps2_reset_keyboard(PS2KbdState *s)

{

    trace_ps2_reset_keyboard(s);

    s->scan_enabled = 1;

    s->scancode_set = 2;


    ps2_set_ledstate(s, 0);

}
static void ps2_reset_keyboard(PS2KbdState *s)

{

    trace_ps2_reset_keyboard(s);

    s->scan_enabled = 1;

    s->scancode_set = 2;


    ps2_set_ledstate(s, 0);

}
static void FUNC_0(PS2KbdState *VAR_0)

{

    trace_ps2_reset_keyboard(VAR_0);

    VAR_0->scan_enabled = 1;

    VAR_0->scancode_set = 2;


    ps2_set_ledstate(VAR_0, 0);

}
static void FUNC_0(PS2KbdState *VAR_0)
{ trace_ps2_reset_keyboard(VAR_0); VAR_0->scan_enabled = 1; VAR_0->scancode_set = 2; ps2_set_ledstate(VAR_0, 0); }