DevHlp EOI

Device drivers calls "DevHlp_EOI" at the end of their interrupt handlers. "EOI" stands for "End Of Interrupt".