syzkaller/sys/fuchsia/hypervisor_guests.txt
Julia Hansbrough ab89aea98e sys/fuchsia: Update Fuchsia syscalls.
Updates cover
* zx_vmo_create
* zx_clock_get_monotonic
* hypervisor- and vCPU-related syscalls
* system_get_features
* some DDK syscalls
2018-07-07 13:56:36 +02:00

16 lines
749 B
Plaintext

include <zircon/syscalls.h>
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])
# 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_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_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])