PC_REGS
db_read_bytes(PC_REGS(DDB_REGS),BKPT_SIZE,(void *)&bkpt);
PC_REGS(DDB_REGS) += BKPT_SIZE;
db_print_loc_and_inst(PC_REGS(DDB_REGS));
PC_REGS(regs) += BKPT_SIZE;
db_addr_t pc = PC_REGS(regs);
db_addr_t pc = PC_REGS(regs), brpc = pc;
pc = PC_REGS(regs);
pc = PC_REGS(regs);
db_dot = PC_REGS(DDB_REGS);
type, (void*)PC_REGS(regs));
PC_REGS(regs) += BKPT_SIZE;
PC_REGS(regs) = addr;
(vaddr_t)PC_REGS(regs)));
PC_REGS(regs) = addr;