On Tue, Mar 18, 2014 at 12:49:17PM +0000, Chris Gilbert wrote: > Actually thinking on it some more, enable_interrupts is the wrong thing. Thanks, I've changed it to restore_interrupts(). Martin