ableos/sysdata/programs/ps2_driver/src/port.hb

.{DeviceID, NO_DEVICE} := @use("devices.hb")

State := struct {s: u8}
$Recive := State.(0)
$Reboot := State.(1)

Port := packed struct {
	exists: bool,
	device: DeviceID,
	packet: [u8; 8],
	packet_length: u8,
	can_hot_plug: bool,
}

$PORT_AT_STARTUP := Port.(
	true,
	NO_DEVICE,
	.(0, 0, 0, 0, 0, 0, 0, 0),
	0,
	true,
)