Symbol: db_write_bytes
sys/ddb/db_access.c
123
db_write_bytes(addr, size, data);
sys/ddb/db_access.h
40
void db_write_bytes(db_addr_t, size_t, const char *);
sys/kern/kgdb_stub.c
508
db_write_bytes(addr, len, (char *)buffer);