H.J. Lu Mon, 11 May 2015 08:56:23 -0700
FYI, https://groups.google.com/forum/#!topic/ia32-abi/cn7TM6J_TIg
-- H.J.
