From 898b335033077281c7417bdbba086b2b2b84afc7 Mon Sep 17 00:00:00 2001 From: Marina Ciocea <111010340+cdmarina@users.noreply.github.com> Date: Wed, 17 Aug 2022 15:57:03 -0400 Subject: sys/fuchsia: update vcpu system calls (#3307) Co-authored-by: Marina Ciocea --- sys/fuchsia/vcpu.txt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 sys/fuchsia/vcpu.txt (limited to 'sys/fuchsia') 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 + +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]) -- cgit mrf-deployment