xref: /openbmc/qemu/docs/spin/aio_notify.promela (revision 5a5110d2)