1include <zircon/syscalls.h> 2 3resource zx_guest[intptr] 4resource zx_vcpu[zx_handle] 5 6zx_guest_create(root_resource zx_root_resource, options const[0], physmem_vmo zx_vmo, guest ptr[out, zx_guest]) 7# TODO: teach this how to use ports & keys 8zx_guest_set_trap(guest zx_guest, kind int32, vaddr intptr, len int64, port const[ZX_HANDLE_INVALID], key int64) 9 10zx_vcpu_create(guest zx_guest, options int32, vaddr intptr, out ptr[out, zx_vcpu]) 11# TODO: teach this about the port_packet_t struct 12zx_vcpu_resume(vcpu zx_vcpu, options const[0]) 13zx_vcpu_interrupt(vcpu zx_vcpu, vector int32) 14zx_vcpu_read_state(vcpu zx_vcpu, kind int32, buffer buffer[in], buflen len[buffer]) 15zx_vcpu_write_state(vcpu zx_vcpu, kind int32, buffer buffer[out], buflen len[buffer]) 16