cb_arg             42 kern/kern_watchdog.c wdog_register(void *cb_arg, int (*cb)(void *, int))
cb_arg             48 kern/kern_watchdog.c 	wdog_ctl_cb_arg = cb_arg;