void __restore_interrupt(unsigned state);
__restore_interrupt restores the state of the IGE bit in the interrupt control register IC to the value saved in state.
The value of state is returned from the __disable_interrupt, __enable_interrupt, and __save_interrupt intrinsic functions and is simply the previous value of the interrupt control register.
__restore_interrupt is an intrinsic function and produces inline code.