From 53199d6e8aee5f0ebd3775d2b1c674f4e6e64e2b Mon Sep 17 00:00:00 2001 From: Marco Vanotti Date: Mon, 22 Apr 2019 11:08:29 -0700 Subject: Update syscalls (#1116) * sys/fuchsia: update all syscalls. This commit modifies all the existing syscalls definitions to match more closely the documentation in the Fuchsia repo. * run make extract && make generate --- sys/fuchsia/hypervisor_guests.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'sys/fuchsia/hypervisor_guests.txt') diff --git a/sys/fuchsia/hypervisor_guests.txt b/sys/fuchsia/hypervisor_guests.txt index 1106d1a5d..42f323f8c 100644 --- a/sys/fuchsia/hypervisor_guests.txt +++ b/sys/fuchsia/hypervisor_guests.txt @@ -3,13 +3,13 @@ include resource zx_guest[intptr] resource zx_vcpu[zx_handle] -zx_guest_create(root_resource zx_root_resource, options const[0], physmem_vmo zx_vmo, guest ptr[out, zx_guest]) +zx_guest_create(root_resource zx_root_resource, options const[0], guest ptr[out, zx_guest], vmar ptr[out, zx_vmar]) # TODO: teach this how to use ports & keys -zx_guest_set_trap(guest zx_guest, kind int32, vaddr intptr, len int64, port const[ZX_HANDLE_INVALID], key int64) +zx_guest_set_trap(guest zx_guest, kind int32, vaddr intptr, len intptr, port const[ZX_HANDLE_INVALID], key int64) zx_vcpu_create(guest zx_guest, options int32, vaddr intptr, out ptr[out, zx_vcpu]) # TODO: teach this about the port_packet_t struct -zx_vcpu_resume(vcpu zx_vcpu, options const[0]) +zx_vcpu_resume(vcpu zx_vcpu, port_packet ptr[out, zx_port_packet]) zx_vcpu_interrupt(vcpu zx_vcpu, vector int32) zx_vcpu_read_state(vcpu zx_vcpu, kind int32, buffer buffer[in], buflen len[buffer]) zx_vcpu_write_state(vcpu zx_vcpu, kind int32, buffer buffer[out], buflen len[buffer]) -- cgit mrf-deployment