diff options
Diffstat (limited to 'results/classifier/105/graphic/1752')
| -rw-r--r-- | results/classifier/105/graphic/1752 | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/results/classifier/105/graphic/1752 b/results/classifier/105/graphic/1752 new file mode 100644 index 00000000..f02757c3 --- /dev/null +++ b/results/classifier/105/graphic/1752 @@ -0,0 +1,35 @@ +graphic: 0.704 +instruction: 0.597 +device: 0.433 +semantic: 0.337 +network: 0.225 +socket: 0.211 +vnc: 0.193 +boot: 0.173 +assembly: 0.108 +mistranslation: 0.099 +KVM: 0.043 +other: 0.006 + +QEMU bug: csrw `MIE_MEIE | MIE_MSIE | MIE_MTIE` to sie changes mie +Description of problem: +QEMU bug: csrw `MIE_MEIE | MIE_MSIE | MIE_MTIE` to sie changes mie. + +**Only csrw causes this bug. csrs/csrc have no effect.** +Steps to reproduce: +output from my test program: +``` +[firmware_main] Clear mie +[firmware_main] mie is 0x0 +[firmware_main] sie is 0x0 +[firmware_main] Set MIE_SEIE | MIE_STIE | MIE_SSIE | MIE_MEIE for mie +[firmware_main] mie is 0xa22 +[firmware_main] sie is 0x0 +[firmware_main] mideleg is 0x0 +[firmware_main] Set MIE_SEIE | MIE_STIE | MIE_SSIE for mideleg +[firmware_main] mie is 0xa22 +[firmware_main] sie is 0x222 +[firmware_main] Set MIE_SSIE for sie +[firmware_main] mie is 0x800 +[firmware_main] sie is 0x0 +``` |