Luke Mewburn <email@example.com> writes: > wouldn't it be better to mark the ocpl and ncpl arguments as > `volatile' instead? does that solve the problem? I don't think it make sense. The problem here is a lack of barrier between splxxx/splx and the code inside them, isn't it? enami.