Restored idt_reload() prototype.

diff --git a/kernel/arch/i386/proto.h b/kernel/arch/i386/proto.h
index f49b775386c5b656bbe01a11424e95741918cba1..471580c5b38235d654f09a145f595d5d5c90daf1 100644 (file)
--- a/kernel/arch/i386/proto.h
+++ b/kernel/arch/i386/proto.h
@@ -148,6 +148,7 @@ EXTERN struct gate_table_s gate_table_pic[];
 
 /* copies an array of vectors to the IDT. The last vector must be zero filled */
 _PROTOTYPE(void idt_copy_vectors, (struct gate_table_s * first));
+_PROTOTYPE(void idt_reload,(void));
 
 EXTERN void * k_boot_stktop;
 _PROTOTYPE(void tss_init, (struct tss_s * tss, void * kernel_stack, unsigned cpu));