#ifndef _KERNEL_DEVICE_PS2_KB_H
#define _KERNEL_DEVICE_PS2_KB_H

#include <libk/list.h>
#include <libk/std.h>
#include <proc/proc.h>
#include <proc/reschedule.h>

struct device;
struct device_op_ctx;

int ps2kb_read_key (struct device* device, struct proc* proc, struct reschedule_ctx* rctx, void* a1,
                    void* a2, void* a3, void* a4);

bool ps2kb_init (struct device* device, void* arg);

void ps2kb_fini (struct device* device);

#endif // _KERNEL_DEVICE_PS2_KB_H