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++;
 }