path: root/src/kernel/arch/amd64/driver/ps2.h

#pragma once
#include <stdint.h>

void ps2_irq(void);
void ps2_init(void);