sysctl_debug_witness_channel
static int sysctl_debug_witness_channel(SYSCTL_HANDLER_ARGS);
sysctl_debug_witness_channel, "A",