This is more emulation friendly, if not 100% correct.
Signed-off-by: NAvi Kivity <avi@qumranet.com>