Symbol: i8259_reinit_irqs
sys/arch/amd64/amd64/i8259.c
187
i8259_reinit_irqs();
sys/arch/amd64/amd64/i8259.c
86
static void i8259_reinit_irqs(void);