Symbol: db_read_bytes
sys/cpu/x86_64/misc/x86_64-gdbstub.c
291
db_read_bytes (addr, 1, &data);
sys/ddb/db_access.c
82
db_read_bytes(addr, size, data);
sys/ddb/ddb.h
105
void db_read_bytes (vm_offset_t addr, size_t size, char *data);