Symbol: intmisc_name
sys/arch/alpha/alpha/db_disasm.c
428
static __inline const char *intmisc_name(int);
sys/arch/alpha/alpha/db_disasm.c
974
opcode = intmisc_name(i.operate_lit_format.function);