From ea7edc8ebb9118cb1f9c25010a704f1d9ebd1cf5 Mon Sep 17 00:00:00 2001
From: Mathieu Serandour <mathieu.serandour@telecom-paris.fr>
Date: Sun, 3 Apr 2022 13:50:26 +0200
Subject: [PATCH] fixed warns

---
 kernel/drivers/terminal/terminal.c | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/kernel/drivers/terminal/terminal.c b/kernel/drivers/terminal/terminal.c
index 6a9e5c7..f0c0cb4 100644
--- a/kernel/drivers/terminal/terminal.c
+++ b/kernel/drivers/terminal/terminal.c
@@ -553,6 +553,8 @@ static int terminal_devfile_read(
     (void)buffer;
     (void)begin;
     (void)count;
+
+    
 /*
     size_t n = length;
     char* c = buffer;
@@ -570,6 +572,9 @@ static int terminal_devfile_write(
                 size_t begin,
                 size_t count
 ) {
+    // unseekable
+    (void)count;
+
     assert(this);
     struct data* restrict d = this->data;
     assert(d);
@@ -583,12 +588,10 @@ static int terminal_devfile_write(
 
 void terminal_register_dev_file(const char* filename, driver_t* this) {
 
-    struct data* restrict d = this->data;
-
     int r = devfs_map_device((devfs_file_interface_t){
         .arg   = this,
-        .read  = terminal_devfile_read,
-        .write = terminal_devfile_write,
+        .read  = (void*) terminal_devfile_read,
+        .write = (void*) terminal_devfile_write,
     }, filename);
 
     // r = 0 on success