vm_inject_extint
(void) vm_inject_extint(vm, vcpuid);
(void) vm_inject_extint(vlapic->vm, vlapic->vcpuid);
(void) vm_inject_extint(vlapic->vm,
int vm_inject_extint(struct vm *vm, int vcpu);