github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/fuchsia/vcpu.txt (about)

     1  # Copyright 2022 syzkaller project authors. All rights reserved.
     2  # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
     3  
     4  include <zircon/syscalls.h>
     5  
     6  zx_vcpu_create(guest zx_handle, options int32, entry intptr, out ptr[out, zx_handle])
     7  
     8  # TODO: teach this about the port_packet_t struct
     9  
    10  zx_vcpu_enter(handle zx_handle, packet ptr[out, zx_port_packet])
    11  zx_vcpu_kick(handle zx_handle)
    12  zx_vcpu_interrupt(handle zx_handle, vector int32)
    13  zx_vcpu_read_state(handle zx_handle, kind int32, buffer buffer[in], buffer_size len[buffer])
    14  zx_vcpu_write_state(handle zx_handle, kind int32, buffer buffer[out], buffer_size len[buffer])