minix/kernel/arch
2010-01-21 11:40:22 +00:00
..
i386 Restored idt_reload() prototype. 2010-01-21 11:40:22 +00:00