David Xu 767d9fcf7c 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.
2004-08-10 12:15:27 +00:00
..
2004-08-08 09:08:37 +00:00
2004-08-05 13:00:11 +00:00
2004-06-14 00:38:54 +00:00
2004-08-08 13:23:05 +00:00
2004-07-28 06:59:55 +00:00
2004-07-28 06:59:55 +00:00
2004-08-05 13:01:29 +00:00
2004-08-09 23:24:22 +00:00
2004-08-08 13:23:05 +00:00
2004-08-09 19:52:29 +00:00