db_write_bytes
db_write_bytes(addr, size, data);
void db_write_bytes(vaddr_t, size_t, void *);
db_write_bytes(addr, size, &patch);
db_write_bytes(addr, size, &patch);
db_write_bytes(addr, size, &patch);
db_write_bytes(addr, size, &patch);