1 include <zircon/syscalls.h> 2 include <zircon/types.h> 3 4 resource zx_interrupt[intptr] 5 6 cache_flush_flags = ZX_CACHE_FLUSH_DATA, ZX_CACHE_FLUSH_INVALIDATE, ZX_CACHE_FLUSH_INSN 7 8 zx_cache_flush(addr ptr[out, intptr], size int64, flags flags[cache_flush_flags]) 9 # TODO: enable modes other than ZX_INTERRUPT_VIRTUAL 10 zx_interrupt_create(src_obj const[0], src_num const[0], options const[ZX_INTERRUPT_VIRTUAL], interrupt ptr[out, zx_interrupt]) 11 zx_interrupt_ack(interrupt zx_interrupt) 12 zx_interrupt_destroy(interrupt zx_interrupt) 13 # TODO fill out remaining interrupt syscalls 14
