Symbol: db_write_bytes
sys/cpu/x86_64/misc/x86_64-gdbstub.c
306
db_write_bytes (addr, 1, &data);
sys/ddb/db_access.c
120
db_write_bytes(addr, size, data);
sys/ddb/ddb.h
115
void db_write_bytes (vm_offset_t addr, size_t size, char *data);