diff options
author | Stefan Hajnoczi <stefanha@redhat.com> | 2020-09-24 16:15:42 +0100 |
---|---|---|
committer | Stefan Hajnoczi <stefanha@redhat.com> | 2020-10-23 13:42:16 +0100 |
commit | 47ba680466d83adfa8c58620d4f5855c0de1a144 (patch) | |
tree | e554615e6dc7c6537d3782b73dc7c015a43955e0 /default-configs | |
parent | df6af7ce77447be89e0d054dc06fb496ec4e69b4 (diff) |
util/vhost-user-server: drop unused DevicePanicNotifier
The device panic notifier callback is not used. Drop it.
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Message-id: 20200924151549.913737-7-stefanha@redhat.com
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Diffstat (limited to 'default-configs')
0 files changed, 0 insertions, 0 deletions