Rev 2719 | Rev 3071 | Go to most recent revision | Show entire file | Ignore 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); |