FRAME_SIZE
addr = DDB_REGS->tf_regs[FRAME_SP] - FRAME_SIZE * 8;
frame = (db_addr_t)tf + FRAME_SIZE * 8;
frame = (db_addr_t)tf + FRAME_SIZE * 8;
for (i = 0; i < FRAME_SIZE; i++)
unsigned long tf_regs[FRAME_SIZE]; /* See above */
memset(tfp->tf_regs, 0, FRAME_SIZE * sizeof tfp->tf_regs[0]);