If I remember right, total store ordering is actually a standard ARM extension, and not something Apple came up with on its own. I'm not sure about the flag computations, I suppose those are custom?