K 10
svn:author
V 7
davidxu
K 8
svn:date
V 27
2004-08-10T12:15:27.000000Z
K 7
svn:log
V 250
As AMD64 architecture volume 1 chapter 3.1.2 says, high 32 bits of %rflags
are resevered, they can be written with anything, but they always read
as zero, we should simulate it in set_regs() as we are reading/writting
real hardware %rflags register.

END