x86/mwait_idle: fix trace output

Use the C-state's type when tracing, not its index since the index is
not set by the mwait_idle driver.

Signed-off-by: Ross Lagerwall <ross.lagerwall@citrix.com>

diff --git a/xen/arch/x86/cpu/mwait-idle.c b/xen/arch/x86/cpu/mwait-idle.c
index 72a7abff4fade0371709bbd399818f1165b0defd..38172e5b64d60b6acf4b83f5bc1256446fcef27c 100644 (file)
--- a/xen/arch/x86/cpu/mwait-idle.c
+++ b/xen/arch/x86/cpu/mwait-idle.c
@@ -376,7 +376,7 @@ static void mwait_idle(void)
                lapic_timer_off();
 
        before = cpuidle_get_tick();
-       TRACE_4D(TRC_PM_IDLE_ENTRY, cx->idx, before, exp, pred);
+       TRACE_4D(TRC_PM_IDLE_ENTRY, cx->type, before, exp, pred);
 
        if (cpu_is_haltable(cpu))
                mwait_idle_with_hints(eax, MWAIT_ECX_INTERRUPT_BREAK);
@@ -385,7 +385,7 @@ static void mwait_idle(void)
 
        cstate_restore_tsc();
        trace_exit_reason(irq_traced);
-       TRACE_6D(TRC_PM_IDLE_EXIT, cx->idx, after,
+       TRACE_6D(TRC_PM_IDLE_EXIT, cx->type, after,
                irq_traced[0], irq_traced[1], irq_traced[2], irq_traced[3]);
 
        update_idle_stats(power, cx, before, after);