gen8_handle_interrupts
int32 handled = gen8_handle_interrupts(info, interrupt);
handled = gen8_handle_interrupts(info, read32(info, GEN11_DISPLAY_INT_CTL));