Symbol: db_write_bytes
sys/ddb/db_access.c
98
if (db_write_bytes(addr, size, data) != 0) {
sys/ddb/ddb.h
265
int db_write_bytes(vm_offset_t addr, size_t size, char *data);