modified ps2_get_keys; added ps2_get_buf_size and ps2_buffer_peek