Symbol: read_mem
usr/src/cmd/bhyve/common/gdb.c
1104
error = read_mem(vcpus[cur_vcpu], gpa, &val,
usr/src/cmd/bhyve/common/mem.h
57
int read_mem(struct vcpu *vpu, uint64_t gpa, uint64_t *rval, int size);