From e06cf9993b5a40abcf6c1d6c77b497ff69a9fd44 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Wed, 25 Jan 2023 21:58:18 +0100
Subject: kernel/driver: consolidate most header files into driver.h

---
 src/kernel/arch/amd64/driver/ps2.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/kernel/arch/amd64/driver/ps2.c')

diff --git a/src/kernel/arch/amd64/driver/ps2.c b/src/kernel/arch/amd64/driver/ps2.c
index 4aa17ff..06825d6 100644
--- a/src/kernel/arch/amd64/driver/ps2.c
+++ b/src/kernel/arch/amd64/driver/ps2.c
@@ -1,5 +1,5 @@
 #include <camellia/errno.h>
-#include <kernel/arch/amd64/driver/ps2.h>
+#include <kernel/arch/amd64/driver/driver.h>
 #include <kernel/arch/amd64/driver/util.h>
 #include <kernel/arch/amd64/interrupts.h>
 #include <kernel/arch/amd64/port_io.h>
@@ -17,6 +17,7 @@ static volatile uint8_t mouse_buf[64];
 static volatile ring_t mouse_backlog = {(void*)mouse_buf, sizeof mouse_buf, 0, 0};
 
 static void accept(VfsReq *req);
+static void ps2_irq(void);
 
 static VfsReq *kb_queue = NULL;
 static VfsReq *mouse_queue = NULL;
@@ -60,7 +61,7 @@ void ps2_init(void) {
 	vfs_root_register("/ps2", accept);
 }
 
-void ps2_irq(void) {
+static void ps2_irq(void) {
 	for (;;) {
 		uint64_t status = port_in8(PS2 + 4);
 		if (!(status & 1)) break; /* read while data available */
-- 
cgit v1.2.3