vcpu_vector_sipi
VERIFY0(vcpu_vector_sipi(vm, vcpuid, vector));
static int vcpu_vector_sipi(struct vm *vm, int vcpuid, uint8_t vector);