KernEOI

It sends the EOI to the PIC/APIC.

Syntax
APIRET APIENTRY KernEOI(uint32_t IRQlevel);

Parameters

 * IRQlevel : Interrupt level number.