vkernel - Reuse vkernel_timer_get_timecount() for reading clock_gettime().
[dragonfly.git] / sbin / nextboot / 
treef8b497ecf570ee95f1885c02658cb5fb6397ff0d
drwxr-xr-x   ..
-rw-r--r-- 273 Makefile
-rw-r--r-- 3623 nextboot.8
-rw-r--r-- 4765 nextboot.c