restart_from_top_after_write  138 drivers/misc/kgdbts.c static int restart_from_top_after_write;
restart_from_top_after_write  316 drivers/misc/kgdbts.c 		restart_from_top_after_write = 1;
restart_from_top_after_write  431 drivers/misc/kgdbts.c 	if (restart_from_top_after_write) {
restart_from_top_after_write  432 drivers/misc/kgdbts.c 		restart_from_top_after_write = 0;