KREG_EBP
gregs->kregs[KREG_EBP] = regs->r_ebp;
kregs[KREG_EBP] = label.val[3];
gregs.kregs[KREG_EBP] = addr;
mdb_printf("%%ebp = 0x%08p\n", kregs[KREG_EBP]);
uintptr_t fp = gsp->kregs[KREG_EBP];
kregs[KREG_ESP] = kregs[KREG_EBP];
kregs[KREG_EBP] = fp;
bp = gregs->kregs[KREG_EBP];
{ "ebp", KREG_EBP, MDB_TGT_R_EXPORT },
{ "bp", KREG_EBP, MDB_TGT_R_EXPORT | MDB_TGT_R_16 },
#define KREG_FP KREG_EBP