Make the virtual kernel's systimer work with SMP builds. Have it
authorMatthew Dillon <dillon@dragonflybsd.org>
Mon, 2 Jul 2007 14:47:27 +0000 (14:47 +0000)
committerMatthew Dillon <dillon@dragonflybsd.org>
Mon, 2 Jul 2007 14:47:27 +0000 (14:47 +0000)
commit0a76854c7a1195a6ad4f0dde5617e43243e6cc3a
treec6b4546e650429deccdcc21d1b73ae32a27769b5
parent68ead3cedfb0e832c8efde52e37bfa6b6ecc67aa
Make the virtual kernel's systimer work with SMP builds.  Have it
use the real system's systimer instead of gettimeofday().
sys/platform/vkernel/platform/systimer.c