Symbol: KVM_VCPUEVENT_VALID_SIPI_VECTOR