| 1 | //! Keyboard input MMIO device: a small ring buffer of key events the host GUI |
| 2 | //! pushes and the guest pops. Mapped at `KBD_BASE` (0x10070000, above the |
| 3 | //! framebuffer span). See the VM spec section 6.6 for the register layout. |
| 4 |
nothing calls this directly
no outgoing calls
no test coverage detected