summaryrefslogtreecommitdiffstats
path: root/qemu/docs/aio_notify_bug.promela
diff options
context:
space:
mode:
authorLiang Li <liang.z.li@intel.com>2015-12-08 09:14:07 +0800
committerLiang Li <liang.z.li@intel.com>2015-12-08 09:16:17 +0800
commitb52baab237a0b45cb18b26f529e6490b42574209 (patch)
treee8bd69d1ccf45f46381617d27cfdd1966abde0b1 /qemu/docs/aio_notify_bug.promela
parentcc62f651747d5844cc12d33fb3620a7d05bae7dc (