blob: 3244d875afae0a1b7413e664b2bc067e9bf0c744 [file] [log] [blame] [view]
# zx_vcpu_read_state
## NAME
vcpu_read_state - read the state of a VCPU
## SYNOPSIS
```
#include <zircon/syscalls.h>
#include <zircon/syscalls/hypervisor.h>
zx_status_t zx_vcpu_read_state(zx_handle_t vcpu, uint32_t kind, void* buffer,
uint32_t len);
```
## DESCRIPTION
**vcpu_read_state**() reads the state of *vcpu* as specified by *kind* into
*buffer*. It is only valid to read the state of *vcpu* when execution has been
paused.
*kind* must be *ZX_VCPU_STATE*.
## RETURN VALUE
**vcpu_read_state**() returns ZX_OK on success. On failure, an error value is
returned.
## ERRORS
**ZX_ERR_ACCESS_DENIED** *vcpu* does not have the *ZX_RIGHT_READ* right.
**ZX_ERR_BAD_HANDLE** *vcpu* is an invalid handle.
**ZX_ERR_BAD_STATE** *vcpu* 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 *len* does not match the expected size of *kind*.
**ZX_ERR_WRONG_TYPE** *vcpu* is not a handle to a VCPU.
## SEE ALSO
[guest_create](guest_create.md),
[guest_set_trap](guest_set_trap.md),
[vcpu_create](vcpu_create.md),
[vcpu_resume](vcpu_resume.md),
[vcpu_interrupt](vcpu_interrupt.md),
[vcpu_write_state](vcpu_write_state.md).