| 255 | } |
| 256 | |
| 257 | static uint32_t kbd_read_data(void *opaque, uint32_t addr, int size_log2) |
| 258 | { |
| 259 | KBDState *s = opaque; |
| 260 | uint32_t val; |
| 261 | if (s->pending == KBD_PENDING_AUX) |
| 262 | val = ps2_read_data(s->mouse); |
| 263 | else |
| 264 | val = ps2_read_data(s->kbd); |
| 265 | #ifdef DEBUG_KBD |
| 266 | printf("kbd: read data=0x%02x\n", val); |
| 267 | #endif |
| 268 | return val; |
| 269 | } |
| 270 | |
| 271 | static void kbd_write_data(void *opaque, uint32_t addr, uint32_t val, int size_log2) |
| 272 | { |
nothing calls this directly
no test coverage detected