Read the state of a VCPU.
#include <zircon/syscalls.h> zx_status_t zx_vcpu_read_state(zx_handle_t handle, uint32_t kind, void* buffer, size_t buffer_size);
zx_vcpu_read_state() reads the state of handle as specified by kind into
buffer. It is only valid to read the state of handle when execution has been
kind must be ZX_VCPU_STATE.
handle must be of type ZX_OBJ_TYPE_VCPU and have ZX_RIGHT_READ.
zx_vcpu_read_state() returns ZX_OK on success. On failure, an error value is
ZX_ERR_ACCESS_DENIED handle does not have the ZX_RIGHT_READ right.
ZX_ERR_BAD_HANDLE handle is an invalid handle.
ZX_ERR_BAD_STATE handle is in a bad state, and state can not be read.
ZX_ERR_INVALID_ARGS kind does not name a known VCPU state, buffer is an invalid pointer, or buffer_size does not match the expected size of kind.
ZX_ERR_WRONG_TYPE handle is not a handle to a VCPU.
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2019-11-21.