SURVIVED-rc=0
swap low/high-water marks set to 41940/62910
DF5640: live state: tsc_mpsync=0 tsc_invariant=0 tsc_frequency=3600009553 sys_cputimer=HPET (100000000 Hz)
DF5640: replaying cputimer_tsc.c:145-156 with freq=0 (divide error at kern_cputimer.c:190 expected)
TSC: cputimer freq 0
cputimer: refusing zero frequency for DF5640 (cputimer unchanged)
DF5640: NOT REACHED on an unpatched kernel
kern.cputimer.name: HPET
hw.tsc_frequency: 0
hw.tsc_mpsync: 1