mdb_set_dot
mdb_set_dot(addr);
mdb_set_dot(tsp->st_pc);
mdb_set_dot(addr + offset);
mdb_set_dot(addr + offset + reqlen);
extern void mdb_set_dot(uintmax_t);
mdb_set_dot(addr + mdb_ctf_type_size(id));
mdb_set_dot(addr + mdb_ctf_type_size(id));
mdb_set_dot(sp);
mdb_set_dot(b);
mdb_set_dot(sym.st_value);
mdb_set_dot(addr + sizeof (dif_instr_t));
mdb_set_dot((uintmax_t)(uintptr_t)dp->dtdo_buf);
mdb_set_dot(0);
mdb_set_dot(0);
mdb_set_dot(addr);
mdb_set_dot(sp);
mdb_set_dot(sp);
mdb_set_dot(0x12345678feedbeefULL);
mdb_set_dot(addr + sizeof (sip));
mdb_set_dot(addr);
mdb_set_dot(rootBuf);
mdb_set_dot((uintptr_t)xba_root);
mdb_set_dot(addr);
mdb_set_dot(addr);
mdb_set_dot(addr);
mdb_set_dot(addr + 1);
mdb_set_dot(addr + sizeof (xhci_trb_t));
mdb_set_dot(addr + sizeof (Dyn));
mdb_set_dot(addr + sizeof (Ehdr));
mdb_set_dot(addr + sizeof (Phdr));