setkdebug
static int setkdebug(char **);
{"kdebug", 1, setkdebug}, /* Enable kernel-level debugging */