Re: IRQs and memory consistency