|
@@ -1297,6 +1297,10 @@ bpt_cmds(void)
|
|
static const char badaddr[] = "Only kernel addresses are permitted for breakpoints\n";
|
|
static const char badaddr[] = "Only kernel addresses are permitted for breakpoints\n";
|
|
int mode;
|
|
int mode;
|
|
case 'd': /* bd - hardware data breakpoint */
|
|
case 'd': /* bd - hardware data breakpoint */
|
|
|
|
+ if (!ppc_breakpoint_available()) {
|
|
|
|
+ printf("Hardware data breakpoint not supported on this cpu\n");
|
|
|
|
+ break;
|
|
|
|
+ }
|
|
mode = 7;
|
|
mode = 7;
|
|
cmd = inchar();
|
|
cmd = inchar();
|
|
if (cmd == 'r')
|
|
if (cmd == 'r')
|