login: DF5640: live state: tsc_mpsync=1 tsc_invariant=1 tsc_frequency=3600008821 sys_cputimer=TSC (3600008821 Hz)
DF5640: replaying cputimer_tsc.c:145-156 with freq=0 (divide error at kern_cputimer.c:190 expected)
TSC: cputimer freq 0
Fatal trap 18: integer divide fault while in kernel mode
kernel: type 18 trap, code=0
Stopped at      cputimer_select+0x29:   divq    %rcx,%eax