It's quite possible it should... I haven't dug into if that isn't either
done elsewhere or isn't done for some other reason. This would be worth
looking into.
Trying to understand the code is good. However, you seem to have
started out with a point of view that we should have the minimal set of
state changes possible instead of keeping state as self-consistent as
possible. Invariants are a Very Good Thing. Documented invariants are
even better ;)
-hpa
--
H. Peter Anvin, Intel Open Source Technology Center
I work for Intel. I don't speak on their behalf.
--