static void release_keys(void *opaque)

{

    int keycode;



    while (nb_pending_keycodes > 0) {

        nb_pending_keycodes--;

        keycode = keycodes[nb_pending_keycodes];

        if (keycode & 0x80)

            kbd_put_keycode(0xe0);

        kbd_put_keycode(keycode | 0x80);

    }

}

static void release_keys(void *opaque)

{

    int keycode;



    while (nb_pending_keycodes > 0) {

        nb_pending_keycodes--;

        keycode = keycodes[nb_pending_keycodes];

        if (keycode & 0x80)

            kbd_put_keycode(0xe0);

        kbd_put_keycode(keycode | 0x80);

    }

}

static void FUNC_0(void *VAR_0)

{

    int VAR_1;



    while (nb_pending_keycodes > 0) {

        nb_pending_keycodes--;

        VAR_1 = keycodes[nb_pending_keycodes];

        if (VAR_1 & 0x80)

            kbd_put_keycode(0xe0);

        kbd_put_keycode(VAR_1 | 0x80);

    }

}

static void FUNC_0(void *VAR_0)
{ int VAR_1; while (nb_pending_keycodes > 0) { nb_pending_keycodes--; VAR_1 = keycodes[nb_pending_keycodes]; if (VAR_1 & 0x80)
kbd_put_keycode(0xe0); kbd_put_keycode(VAR_1 | 0x80); } }