Symbol: write_mem
usr/src/cmd/bhyve/common/gdb.c
1226
error = write_mem(vcpus[cur_vcpu], gpa, val,
usr/src/cmd/bhyve/common/mem.h
61
int write_mem(struct vcpu *vcpu, uint64_t gpa, uint64_t wval, int size);