sysctl_debug_witness_watch
static int sysctl_debug_witness_watch(SYSCTL_HANDLER_ARGS);
sysctl_debug_witness_watch, "I",