__db_procname_by_asid
db_printf("ASID=%d (%s)", i, __db_procname_by_asid(i));
static char *__db_procname_by_asid(int);