Searched refs:badaddr (Results 1 – 2 of 2) sorted by relevance
420 rdctl r6, badaddr
1324 static const char badaddr[] = "Only kernel addresses are permitted for breakpoints\n"; in bpt_cmds() local1343 printf(badaddr); in bpt_cmds()