Symbol: gdb_cpu_mtrap
usr/src/cmd/bhyve/amd64/vmexit.c
454
gdb_cpu_mtrap(vcpu);
usr/src/cmd/bhyve/common/gdb.h
33
void gdb_cpu_mtrap(struct vcpu *vcpu);