db_read_bytes
db_read_bytes(addr, 4, (char *)&addr);
db_read_bytes(addr, 4, (char *)&addr);
db_read_bytes(p->p_addr->u_pcb.pcb_sp, sizeof(sf), &sf);
db_read_bytes(pc, sizeof(inst), (caddr_t)&inst);
db_read_bytes(addr, 4, (char *)ptr);
db_read_bytes((vaddr_t)stack, 2 * sizeof(int), (char *)pair);
db_read_bytes(sp + 4, sizeof(vaddr_t), (char *)&lr);
db_read_bytes(sp, sizeof(vaddr_t), (char *)&sp);
db_read_bytes(sp + 4, sizeof(vaddr_t), (char *)&lr);
db_read_bytes(sp, sizeof(vaddr_t), (char *)&sp);
db_read_bytes(sp + 16, sizeof(vaddr_t), (char *)&lr);
db_read_bytes(iaddr, sizeof(ins),
db_read_bytes(sp, sizeof(vaddr_t), (char *)&sp);
db_read_bytes(sp + 16, sizeof(vaddr_t), (char *)&lr);
db_read_bytes((vaddr_t)&tf->tf_ra, sizeof(ra),
db_read_bytes((vaddr_t)&tf->tf_s[0], sizeof(frame),
db_read_bytes(frame - 16, sizeof(frame),
db_read_bytes(frame - 8, sizeof(ra), (char *)&ra);
db_read_bytes(addr - 16, sizeof(vaddr_t), (char *)&frame);
db_read_bytes(addr - 8, sizeof(vaddr_t), (char *)&ra);
db_read_bytes(addr, size, data);
void db_read_bytes(vaddr_t, size_t, void *);