kernel - Factor out TSC cputimer into common x86_64 code, use for vkernel.
[dragonfly.git] / sys / platform / vkernel64 / 
tree4416896f43957b0db1d866a36eb764730c476866
drwxr-xr-x   ..
-rw-r--r-- 87 Makefile.inc
drwxr-xr-x - conf
drwxr-xr-x - include
drwxr-xr-x - platform
drwxr-xr-x - x86_64