aboutsummaryrefslogtreecommitdiff
path: root/docs/aio_notify_bug.promela
diff options
context:
space:
mode:
authorIgor Mammedov <imammedo@redhat.com>2015-12-28 18:02:11 +0100
committerMichael S. Tsirkin <mst@redhat.com>2016-01-08 16:01:38 +0200
commit12fdadb5747f0c627c39ceb7107be90e4678ec9b (patch)
treef4eeadec668473a0ab3e7229b5581c09be0557cc /docs/aio_notify_bug.promela
parentb2344f3e63d07c57449471d7ee4c2ae08b73a797 (diff)
pc: acpi: memhp: move MHPD.MLCK mutex into SSDT
Signed-off-by: Igor Mammedov <imammedo@redhat.com> Reviewed-by: Michael S. Tsirkin <mst@redhat.com> Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Diffstat (limited to 'docs/aio_notify_bug.promela')
0 files changed, 0 insertions, 0 deletions