Kick a VCPU, causing it to stop execution.
#include <zircon/syscalls.h> zx_status_t zx_vcpu_kick(zx_handle_t handle);
zx_vcpu_kick() forces the current or next execution of
zx_vcpu_enter() on handle to return immediately with ZX_ERR_CANCELED.
zx_vcpu_kick() may be called multiple times on handle, but will only affect the current or next execution of
handle must be of type ZX_OBJ_TYPE_VCPU and have ZX_RIGHT_EXECUTE.
zx_vcpu_kick() returns ZX_OK on success. On failure, an error value is returned.
ZX_ERR_ACCESS_DENIED handle does not have the ZX_RIGHT_EXECUTE right.
ZX_ERR_BAD_HANDLE handle is an invalid handle.
ZX_ERR_WRONG_TYPE handle is not a handle to a VCPU.