/* Interrupt handler: some event is available */