memscrub_wakeup
(void) timeout(memscrub_wakeup, NULL, interval_sec * hz);
memscrub_wakeup((void *)NULL);
memscrub_tid = timeout(memscrub_wakeup, NULL,