void __set_interrupt(unsigned state);
__set_interrupt copies the GIE flag stores held in (by a call to __disable_interrupt) into the status register.
__set_interrupt is an intrinsic function and produces inline code.