/* Interrupt handler return values */