db_read_bytes
db_read_bytes(offset, 4, (char *)&ret);
if (db_read_bytes(addr, size, data) != 0) {
int db_read_bytes(vm_offset_t addr, size_t size, char *data);