gcc attributes regarding unused parameters

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

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