Symbol: vm_inject_sipi
usr/src/uts/intel/io/vmm/io/vlapic.c
1111
(void) vm_inject_sipi(vlapic->vm, i, vec);
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
205
int vm_inject_sipi(struct vm *vm, int vcpuid, uint8_t vec);