I'm thinking that the overhead will be unmeasurably small, and its not
really worth any more complexity. That's almost certainly true for lazy
mmu mode, but lazy cpu is used in the middle of a context switch, so
it's probably worth a bit more attention.
Er, they should probably call something to make the switch actually
happen, no?
Sure, I guess. Would it make any difference? (I've never personally
noticed likely/unlikely change the generated code in any seriously
positive way.)
J
-