# 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.

# See https://cs.opensource.google/fuchsia/fuchsia/+/main:zircon/vdso/msi.fidl

include <zircon/syscalls.h>
include <zircon/types.h>

resource zx_msi[zx_handle]

zx_msi_allocate(handle zx_resource, count flags[msi_count], out_allocation ptr[out, zx_msi])
zx_msi_create(handle zx_msi, options const[0], msi_id int32, vmo zx_vmo, vmo_offset int32, out_interrupt ptr[out, zx_interrupt])

msi_count = 1, 2, 4, 8, 16, 32