Did you mean (for openbmc):print_insn_sh print_insn_spu
Your search defs:print_insn_shl did not match any files. Suggestions: