Symbol: vm_restart_instruction
lib/libvmmapi/vmmapi.c
1216
vm_restart_instruction(struct vcpu *vcpu)
sys/amd64/vmm/vmm.c
1231
vm_restart_instruction(struct vcpu *vcpu)