diff --git a/labs/lab3-interrupts_timer_keyboard/skeleton/yoctos/kernel/interrupt/idt.c b/labs/lab3-interrupts_timer_keyboard/skeleton/yoctos/kernel/interrupt/idt.c
index 86a110212061923b1916904de68e764b72f1a5ae..4fa38ac4b4aa308608aab503bc7333edbe6df01b 100644
--- a/labs/lab3-interrupts_timer_keyboard/skeleton/yoctos/kernel/interrupt/idt.c
+++ b/labs/lab3-interrupts_timer_keyboard/skeleton/yoctos/kernel/interrupt/idt.c
@@ -57,7 +57,7 @@ static idt_ptr_t   idt_ptr;
 
 // Loads the IDT specified in argument.
 // Defined in idt_asm.s
-extern void idt_load(idt_ptr_t *idt_ptr);
+void idt_load(idt_ptr_t *idt_ptr);
 
 // Builds and returns an IDT entry.
 // selector is the code segment selector to access the ISR
@@ -78,12 +78,12 @@ static idt_entry_t idt_build_entry(uint16_t selector, uint32_t offset, uint8_t t
 
 // Low-level ISR for processor exceptions.
 // These are defined in idt_asm.s
-extern void _exception3();
-extern void _exception8();
+void _exception3();
+void _exception8();
 
 // Low-level ISR for hardware interrupts.
 // These are defined in idt_asm.s
-extern void _irq5();
+void _irq5();
 
 // High-level ISR for processor exceptions.
 void exception_handler(regs_t *regs) {