diff options
author | David Gibson <david@gibson.dropbear.id.au> | 2019-09-25 13:49:59 +1000 |
---|---|---|
committer | David Gibson <david@gibson.dropbear.id.au> | 2019-10-04 19:08:23 +1000 |
commit | 580dde5e4a4597be26cb948a711727c2a406f158 (patch) | |
tree | db8e92526b64c4f6788355acc045be5deaa9261c /hw/Kconfig | |
parent | f233cee97bfbab24517171ef5a56d8a54d8a96ef (diff) | |
download | qemu-580dde5e4a4597be26cb948a711727c2a406f158.zip qemu-580dde5e4a4597be26cb948a711727c2a406f158.tar.gz qemu-580dde5e4a4597be26cb948a711727c2a406f158.tar.bz2 |
spapr, xics, xive: Better use of assert()s on irq claim/free paths
The irq claim and free paths for both XICS and XIVE check for some
validity conditions. Some of these represent genuine runtime failures,
however others - particularly checking that the basic irq number is in a
sane range - could only fail in the case of bugs in the callin code.
Therefore use assert()s instead of runtime failures for those.
In addition the non backend-specific part of the claim/free paths should
only be used for PAPR external irqs, that is in the range SPAPR_XIRQ_BASE
to the maximum irq number. Put assert()s for that into the top level
dispatchers as well.
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Reviewed-by: Cédric Le Goater <clg@kaod.org>
Reviewed-by: Greg Kurz <groug@kaod.org>
Diffstat (limited to 'hw/Kconfig')
0 files changed, 0 insertions, 0 deletions