KMDB_F_DRV_DEBUG
if (kctl.kctl_flags & KMDB_F_DRV_DEBUG) {
if (!(kctl.kctl_flags & KMDB_F_DRV_DEBUG))
{ "kmdb-driver-debug", 0, KMDB_F_DRV_DEBUG },