>     System timer could have gotten messed up by the video BIOS.
>     What timer is your system using?
> 
>     sysctl kern.cputimer


i8254_timer2

Reply via email to