Rev 2719 | Rev 3071 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2719 | Rev 2745 | ||
---|---|---|---|
Line 206... | Line 206... | ||
206 | int cmd_del_breakpoint(cmd_arg_t *argv) |
206 | int cmd_del_breakpoint(cmd_arg_t *argv) |
207 | { |
207 | { |
208 | bpinfo_t *cur; |
208 | bpinfo_t *cur; |
209 | ipl_t ipl; |
209 | ipl_t ipl; |
210 | 210 | ||
211 | if (argv->intval < 0 || argv->intval > BKPOINTS_MAX) { |
211 | if (argv->intval > BKPOINTS_MAX) { |
212 | printf("Invalid breakpoint number.\n"); |
212 | printf("Invalid breakpoint number.\n"); |
213 | return 0; |
213 | return 0; |
214 | } |
214 | } |
215 | ipl = interrupts_disable(); |
215 | ipl = interrupts_disable(); |
216 | spinlock_lock(&bkpoint_lock); |
216 | spinlock_lock(&bkpoint_lock); |