Interrupt disable (TX_DISABLE) and Instruction Pipelining

Hello,Is it possible that the OS is calling another thread after the macro “TX_DISABLE” had been called. I don’t know the ARM architecture very well, but I think the ARM7 has a 3 phase pipeline. It seems, that due to the pipelining, another thread can be called by the OS after macro “TX_DISABLE” had been called. Thanks Alex