# 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/interrupt.fidl

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

resource zx_interrupt[zx_handle]

zx_interrupt_create(src_obj zx_resource, src_num int32, options flags[zx_interrupts_create], out_handle ptr[out, zx_interrupt])

zx_interrupt_bind(handle zx_interrupt, port_handle zx_port, key int64, options flags[zx_interrupts_bind])

zx_interrupt_wait(handle zx_interrupt, out_timestamp ptr[out, zx_time])

zx_interrupt_trigger(handle zx_interrupt, options const[0], timestamp zx_time)

zx_interrupts_create = ZX_INTERRUPT_REMAP_IRQ, ZX_INTERRUPT_MODE_DEFAULT, ZX_INTERRUPT_MODE_EDGE_LOW, ZX_INTERRUPT_MODE_EDGE_HIGH, ZX_INTERRUPT_MODE_LEVEL_LOW, ZX_INTERRUPT_MODE_LEVEL_HIGH, ZX_INTERRUPT_MODE_EDGE_BOTH, ZX_INTERRUPT_VIRTUAL
zx_interrupts_bind = ZX_INTERRUPT_BIND, ZX_INTERRUPT_UNBIND