Module keyboard 

PS/2 Keyboard driver

Handles IRQ1 keyboard interrupts, reads scancodes from port 0x60, and converts them to characters for the VGA console.

Modifier state and scancode processing are shared via keyboard_layout.rs. This module owns the ring buffer, PS/2 port init, and lost-key diagnostics.

Re-exports

pub use super::keyboard_layout::KEY_DOWN;

pub use super::keyboard_layout::KEY_END;

pub use super::keyboard_layout::KEY_HOME;

pub use super::keyboard_layout::KEY_LEFT;

pub use super::keyboard_layout::KEY_RIGHT;

pub use super::keyboard_layout::KEY_UP;

Structs

KeyboardBuffer 🔒

KeyboardBufferInner 🔒

Constants

CMD_ENABLE_KBD 🔒

CMD_READ_CFG 🔒

CMD_WRITE_CFG 🔒

KEYBOARD_BUFFER_SIZE 🔒

Keyboard input buffer size

KEYBOARD_DATA_PORT 🔒

PS/2 keyboard data port

PS2_CMD_PORT 🔒

STATUS_INPUT_FULL 🔒

STATUS_OUTPUT_FULL 🔒

Statics

KEYBOARD_BUFFER 🔒

LOST_KEY_COUNT 🔒

Number of characters dropped due to buffer overflow. Incremented atomically in IRQ context, safe to read from any context.

Functions

add_to_buffer

Add a character to the keyboard buffer (called from IRQ context).

flush_output 🔒

has_input

Check if keyboard buffer has data (task context only).

init

Initialize the PS/2 keyboard controller

inject_hid_scancode

Inject a PS/2 scancode from USB HID or other non-PS/2 source.

lost_key_count

Return the total number of characters lost due to buffer overflow since boot.

ps2_read 🔒

ps2_write_cmd 🔒

ps2_write_data 🔒

read_char

Get a character from the keyboard buffer (non-blocking, task context only).

reset_lost_key_count

Reset the lost-key counter to zero.

wait_read 🔒

wait_write 🔒