db_segsize
if (db_segsize(kdb_frame) == 16)
if (db_segsize(tf) == 16) {
int db_segsize(struct trapframe *tfp);