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