/* See bits in SIP_ISR */