Symbol: pal_opname
sys/arch/alpha/alpha/db_disasm.c
189
static const char *pal_opname(int);
sys/arch/alpha/alpha/db_disasm.c
849
db_printf("%s %s", opcode, pal_opname(i.pal_format.function));