From 02a0c882275959c0fbd58754418ecc1218821e76 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 18 Jun 2021 22:30:25 +0200
Subject: Renamed device prefix from 'io_' to 'dev_'

---
 kernel/drivers/timer.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/drivers/timer.c')

diff --git a/kernel/drivers/timer.c b/kernel/drivers/timer.c
index 44d66f3..977647c 100644
--- a/kernel/drivers/timer.c
+++ b/kernel/drivers/timer.c
@@ -1,11 +1,11 @@
 // MIT License, Copyright (c) 2020 Marvin Borner
 
 #include <def.h>
+#include <dev.h>
 #include <drivers/cpu.h>
 #include <drivers/int.h>
 #include <drivers/rtc.h>
 #include <drivers/timer.h>
-#include <io.h>
 #include <mem.h>
 #include <proc.h>
 
@@ -70,7 +70,7 @@ CLEAR void timer_install(void)
 	timer_phase(1000);
 	int_event_handler_add(0, timer_handler);
 
-	struct io_dev *dev = zalloc(sizeof(*dev));
+	struct dev_dev *dev = zalloc(sizeof(*dev));
 	dev->read = timer_read;
-	io_add(IO_TIMER, dev);
+	dev_add(DEV_TIMER, dev);
 }
-- 
cgit v1.2.3