US7971040B2 - Method and Device for Saving and Restoring a Set of Registers of a Microprocessor in an Interruptible Manner