Add TSC cputimer to vkernel, both vkernel32 and vkernel64. All necessary bits are in place already. You could use http://gitweb.dragonflybsd.org/dragonfly.git/commit/d551cbfe02dadee2f5067bcd6e8f67f4d7193f37as an example. The TSC based cputimer should be faster than the sysctl based one.
Best Regards, sephe -- Tomorrow Will Never Die
