>
> Could you provide the output of:
> cat /sys/devices/system/clocksource/clocksource0/available_clocksource

hpet acpi_pm

> cat /sys/devices/system/clocksource/clocksource0/current_clocksource
>

hpet

> I assume you're using the TSC, and hitting the halt-in-c3 issue, but
> I'm curious why the clocksource watchdog isn't catching this and
> dropping you back to a more stable clocksource.
>

I also attached the dmesg output.

Thank you for your help.

Jean-Philippe François