Port-arm archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: gemini timer change



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


Home | Main Index | Thread Index | Old Index