[root@hsw-ex1 tools]# xl lis
Name                                        ID   Mem VCPUs	State	Time(s)
Domain-0                                     0  4096    32     r-----   33334.5
test_guest                                 633  4096     1     -b----      10.7
[root@hsw-ex1 tools]# pwd
/root/fengjuan/xen/tools/tests/mce-test/tools
[root@hsw-ex1 tools]# ./xen-mceinj -t 2
get gaddr of error inject is: 0x180020
Failed to inject MSR: Invalid argument
[root@hsw-ex1 tools]# 


Putty output:
(XEN) HV MSR INJECT (interpose) target 0 actual 0 MSR 0x17a <-- 0
(XEN) HV MSR INJECT (interpose) target 0 actual 0 MSR 0x425 <-- 0xbc20000080000136
(XEN) HV MSR INJECT (interpose) target 0 actual 0 MSR 0x427 <-- 0x86