Symbol: i8259_reinit
sys/arch/x86/acpi/acpi_wakeup.c
356
i8259_reinit();
sys/arch/x86/include/i8259.h
53
extern void i8259_reinit(void);