Symbol: send_specific_eoi
usr/src/grub/grub-0.97/netboot/pic8259.c
179
send_specific_eoi ( undi_irq_installed_on );
usr/src/grub/grub-0.97/netboot/pic8259.h
91
void send_specific_eoi ( irq_t irq );