Raise an interrupt on a VCPU.
#include <zircon/syscalls.h> zx_status_t zx_vcpu_interrupt(zx_handle_t handle, uint32_t vector);
zx_vcpu_interrupt() raises an interrupt of vector on handle, and may be
called from any thread.
handle must be of type ZX_OBJ_TYPE_VCPU and have ZX_RIGHT_SIGNAL.
zx_vcpu_interrupt() returns ZX_OK on success. On failure, an error value is
ZX_ERR_ACCESS_DENIED handle does not have the ZX_RIGHT_SIGNAL right.
ZX_ERR_BAD_HANDLE handle is an invalid handle.
ZX_ERR_OUT_OF_RANGE vector is outside of the range interrupts supported by the current architecture.
ZX_ERR_WRONG_TYPE handle is not a handle to a VCPU.