IRQs and memory consistency