Searched refs:badaddr (Results 1 – 2 of 2) sorted by relevance
420 rdctl r6, badaddr
1179 const char badaddr[] = "Only kernel addresses are permitted " in bpt_cmds() local1198 printf(badaddr); in bpt_cmds()