My second point explains why you won't normally see this code. My third point, was why it might be interesting to examine. OS developers are allowed to make assumptions about their architecture and use non standard code. Additionally, the creaters of compilers can, and sometime do, have non standard things going on under the hood because they can guarantee the outcome of the code.
So in these implementations the outcome is very much so guaranteed, by the assumptions made by the designers.