x86: fixes read_tsc_serialized()
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 17 Jul 2013 22:16:09 +0000 (15:16 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 19 Jul 2013 23:56:06 +0000 (16:56 -0700)
commit9227daac46ce201316e38c146d073343bd4ac256
tree31dc71a5fcd6bf9d87e7d7115e5d7e140755672e
parentf594b4581676d724644c96adbf117a7367edd9c5
x86: fixes read_tsc_serialized()

The compiler was reordering operations (stores, in one case) past the
serialization.
kern/arch/x86/arch.h