From 5902ef62b1c61e19187fc087a4352834175bb12f Mon Sep 17 00:00:00 2001
From: shockrah <alejandros714@protonmail.com>
Date: Sun, 9 Feb 2020 21:53:10 -0800
Subject: [PATCH] gcc attributes regarding unused parameters

---
 kbd.c | 2 +-
 pit.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kbd.c b/kbd.c
index f4d0b28..f14a299 100644
--- a/kbd.c
+++ b/kbd.c
@@ -49,7 +49,7 @@ unsigned char keymap[128] = {
 
 
 // Reads one key from the keyboard
-void kbd_read_key(struct cpu_reg_state* cpu) {
+void kbd_read_key(__attribute__((unused)) struct cpu_reg_state* cpu) {
 	u8 scancode = serial_read_byte(KBD_PORT);
 	if(scancode & 0x80) {
 		// Key released
diff --git a/pit.c b/pit.c
index 57f031b..3cc40ff 100644
--- a/pit.c
+++ b/pit.c
@@ -4,7 +4,7 @@
 #include "serial.h"
 #include "stlio.h"
 
-void pit_inc_ticks(struct cpu_reg_state* cpu) {
+void pit_inc_ticks(__attribute__((unused)) struct cpu_reg_state* cpu) {
     pit_timer_ticks++;
 }