Searched refs:badaddr (Results 1 – 1 of 1) sorted by relevance
1142 const char badaddr[] = "Only kernel addresses are permitted " in bpt_cmds() local1161 printf(badaddr); in bpt_cmds()