syzkaller/sys/fuchsia/ddk.txt
Dmitry Vyukov de746e8232 sys/linux: update TODO comments
Change TODO comments that refer to missing description
language features to NEED comments as that it's easier to grep for them.
Remove some outdated comments. Fix 2 easy fixable TODOs.
2019-01-24 16:49:38 +01:00

14 lines
568 B
Plaintext

include <zircon/syscalls.h>
include <zircon/types.h>
resource zx_interrupt[intptr]
cache_flush_flags = ZX_CACHE_FLUSH_DATA, ZX_CACHE_FLUSH_INVALIDATE, ZX_CACHE_FLUSH_INSN
zx_cache_flush(addr ptr[out, intptr], size int64, flags flags[cache_flush_flags])
# TODO: enable modes other than ZX_INTERRUPT_VIRTUAL
zx_interrupt_create(src_obj const[0], src_num const[0], options const[ZX_INTERRUPT_VIRTUAL], interrupt ptr[out, zx_interrupt])
zx_interrupt_ack(interrupt zx_interrupt)
zx_interrupt_destroy(interrupt zx_interrupt)
# TODO: fill out remaining interrupt syscalls