db_nextframe
db_nextframe(&frame, &pc, td);
static void db_nextframe(struct i386_frame **, db_addr_t *, struct thread *);