Searched refs:disname (Results 1 – 1 of 1) sorted by relevance
638 const char *disname = "v9plus"; in pt_disasm() local640 const char *disname = "v8"; in pt_disasm()648 disname = "v9plus"; in pt_disasm()650 disname = "v9"; in pt_disasm()653 return (disname); in pt_disasm()