BKPT_SIZE
kdb_frame->tf_pc += BKPT_SIZE; \
kdb_frame->tf_elr += BKPT_SIZE; \
kdb_thrctx->pcb_x[PCB_LR] += BKPT_SIZE; \
*storage = db_get_value(addr, BKPT_SIZE, false); \
db_put_value(addr, BKPT_SIZE, BKPT_SET(*storage)); \
db_put_value(addr, BKPT_SIZE, *storage)