db_mach_vtrace
static int db_mach_vtrace(int cpu, struct ktr_entry *kp, int idx);
db_mach_vtrace(i, kp, tstate[i].cur + 1);
if (db_mach_vtrace(i, kp, tstate[i].cur + 1) == 0)