--- Xen Test Framework ---
Environment: HVM 32bit (PAE 3 levels)
Test nmi-taskswitch-priv
First self-nmi, from supervisor mode
  NMI at 0010:00103a14, stack 0018:00118fd0
Second self-nmi, from user mode
  NMI at 002b:00104024, stack 0033:0011cff8
Test result: SUCCESS