diff options
| author | Marina Ciocea <111010340+cdmarina@users.noreply.github.com> | 2022-08-17 15:57:03 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-17 12:57:03 -0700 |
| commit | 898b335033077281c7417bdbba086b2b2b84afc7 (patch) | |
| tree | 8165a19a4a86469bfa0de865bf24efc96fed667b /sys/fuchsia | |
| parent | a9409d470bcd00f5856c85ca3395f4882e6637b2 (diff) | |
sys/fuchsia: update vcpu system calls (#3307)
Co-authored-by: Marina Ciocea <marinaciocea@google.com>
Diffstat (limited to 'sys/fuchsia')
| -rw-r--r-- | sys/fuchsia/vcpu.txt | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/sys/fuchsia/vcpu.txt b/sys/fuchsia/vcpu.txt new file mode 100644 index 000000000..ff10546fe --- /dev/null +++ b/sys/fuchsia/vcpu.txt @@ -0,0 +1,14 @@ +# Copyright 2022 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include <zircon/syscalls.h> + +zx_vcpu_create(guest zx_handle, options int32, entry intptr, out ptr[out, zx_handle]) + +# TODO: teach this about the port_packet_t struct + +zx_vcpu_enter(handle zx_handle, packet ptr[out, zx_port_packet]) +zx_vcpu_kick(handle zx_handle) +zx_vcpu_interrupt(handle zx_handle, vector int32) +zx_vcpu_read_state(handle zx_handle, kind int32, buffer buffer[in], buffer_size len[buffer]) +zx_vcpu_write_state(handle zx_handle, kind int32, buffer buffer[out], buffer_size len[buffer]) |