Symbol: vcpu_reset
usr/src/lib/libvmmapi/common/vmmapi.c
1536
vcpu_reset(struct vcpu *vcpu)
usr/src/lib/libvmmapi/common/vmmapi.c
1551
vcpu_reset(struct vcpu *vcpu)