diff options
author | Michael Roth <mdroth@linux.vnet.ibm.com> | 2016-10-26 21:20:26 -0500 |
---|---|---|
committer | David Gibson <david@gibson.dropbear.id.au> | 2016-10-28 11:17:35 +1100 |
commit | ffbb1705a33df8e2fb12b24d96663d63b22eaf8b (patch) | |
tree | d4c0f902ad893816f08ac30c2a58297b16057794 /include/ui | |
parent | 9f992cca93de808bccbd02e14ce9200e8f25b8eb (diff) |
spapr_events: add support for dedicated hotplug event source
Hotplug events were previously delivered using an EPOW interrupt
and were queued by linux guests into a circular buffer. For traditional
EPOW events like shutdown/resets, this isn't an issue, but for hotplug
events there are cases where this buffer can be exhausted, resulting
in the loss of hotplug events, resets, etc.
Newer-style hotplug event are delivered using a dedicated event source.
We enable this in supported guests by adding standard an additional
event source in the guest device-tree via /event-sources, and, if
the guest advertises support for the newer-style hotplug events,
using the corresponding interrupt to signal the available of
hotplug/unplug events.
Signed-off-by: Michael Roth <mdroth@linux.vnet.ibm.com>
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Diffstat (limited to 'include/ui')
0 files changed, 0 insertions, 0 deletions