#ifndef _KERNEL_DEVICE_PS2_KB_H
#define _KERNEL_DEVICE_PS2_KB_H

#include <libk/std.h>
#include <proc/proc.h>
#include <sys/smp.h>

bool ps2kb_read_key (struct proc* proc, struct cpu** reschedule_cpu, int* ret, void* a1, void* a2,
                     void* a3, void* a4);
bool ps2kb_init (void* arg);
void ps2kb_fini (void);

#endif // _KERNEL_DEVICE_PS2_KB_H