Default clock source is HPET
wing-commander scott% cat /sys/devices/system/clocksource/clocksource0/* hpet acpi_pm jiffies tsc hpet
Default clock source is HPET
wing-commander scott% cat /sys/devices/ system/ clocksource/ clocksource0/ *
hpet acpi_pm jiffies tsc
hpet