Small vkernel hacking task

[Sepherosa Ziehau]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.dragonflybsd.org/pipermail/kernel/attachments/20130814/83bdae0f/attachment.html>