kgdbreboot         86 kernel/debug/debug_core.c static int kgdbreboot;
kgdbreboot        108 kernel/debug/debug_core.c module_param(kgdbreboot, int, 0644);
kgdbreboot        936 kernel/debug/debug_core.c 	switch (kgdbreboot) {