rem: }; };
add: } }
context: kernel_debugger_loop(){	int argc;	struct debugger_command *cmd;	cpu_status state;	state = disable_interrupts();	dprintf("kernel debugger on cpu %d\n", smp_get_current_cpu());	debugger_on_cpu = smp_get_current_cpu();	cmd = NULL;	for(;;) {		dprintf("kdebug> ");		debug_read_line(line_buf[cur_line], LINE_BUF_SIZE);		debug_parse_line(line_buf[cur_line], args, &argc, MAX_ARGS);		// We support calling last executed command again if		// B_KDEDUG_CONT was returned last time, so cmd != NULL		if (argc <= 0 && cmd == NULL)			continue;		debugger_on_cpu = smp_get_current_cpu();		if (argc > 0) {			// search command by name			cmd = commands;			while (cmd != NULL) {				if (strcmp(args[0], cmd->name) == 0)					break;				cmd = cmd->next;			};		};		if (cmd == NULL)			dprintf("unknown command, enter \"help\" to get a list of all supported commands\n");		else {			int rc;			rc = cmd->func(argc, args);			if (rc == B_KDEBUG_QUIT)				break;	// okay, exit now.			if (rc != B_KDEBUG_CONT)				cmd = NULL;		// forget last command executed...		};		cur_line++;		if (cur_line >= HISTORY_SIZE)			cur_line = 0;	}	restore_interrupts(state);}