Greg Kurz
484d774c3a
spapr/xive: Turn some sanity checks into assertions
...
The sPAPR XIVE device is created by the machine in spapr_irq_init().
The latter overrides any value provided by the user with -global for
the "nr-irqs" and "nr-ends" properties with strictly positive values.
It seems reasonable to assume these properties should never be 0,
which wouldn't make much sense by the way.
Signed-off-by: Greg Kurz <groug@kaod.org>
Message-Id: <20201120174646.619395-2-groug@kaod.org>
Reviewed-by: Cédric Le Goater <clg@kaod.org>
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
2020-12-14 15:50:55 +11:00
..
2020-11-05 15:21:11 +01:00
2020-12-09 13:04:17 -05:00
2020-08-21 06:30:32 -04:00
2020-12-10 12:15:18 -05:00
2020-12-10 12:15:18 -05:00
2020-11-15 17:04:40 +01:00
2020-12-10 12:15:18 -05:00
2020-12-10 12:15:03 -05:00
2020-12-10 12:15:10 -05:00
2020-12-11 13:50:35 +00:00
2020-09-22 16:48:29 -04:00
2020-12-10 12:15:07 -05:00
2020-12-11 13:50:35 +00:00
2020-12-10 12:15:04 -05:00
2020-11-15 17:04:40 +01:00
2020-12-10 12:15:18 -05:00
2020-09-23 16:07:44 +01:00
2020-11-15 17:04:40 +01:00
2020-12-10 12:15:18 -05:00
2020-12-01 15:23:05 +00:00
2020-11-17 12:56:32 +00:00
2020-12-14 15:50:55 +11:00
2020-09-18 14:12:32 -04:00
2020-09-18 14:12:32 -04:00
2020-12-09 13:04:17 -05:00
2020-12-10 12:15:18 -05:00
2020-12-12 18:06:01 +01:00
2020-11-15 17:04:40 +01:00
2020-12-10 12:15:18 -05:00
2020-12-10 12:15:18 -05:00
2020-12-10 12:15:03 -05:00
2020-12-10 12:15:08 -05:00
2020-12-10 12:15:04 -05:00
2020-12-10 12:15:18 -05:00
2020-08-21 06:30:25 -04:00
2020-12-10 12:15:18 -05:00
2020-08-21 06:30:33 -04:00
2020-12-10 12:15:18 -05:00
2020-11-15 17:04:40 +01:00
2020-12-10 12:15:18 -05:00
2020-08-27 14:04:55 -04:00
2020-12-10 12:15:19 -05:00
2020-09-23 16:07:44 +01:00
2020-12-10 12:15:18 -05:00
2020-10-18 16:21:42 +01:00
2020-12-10 12:15:06 -05:00
2020-12-11 13:50:35 +00:00
2020-11-16 13:22:17 -05:00
2020-12-10 12:15:03 -05:00
2020-08-21 06:30:25 -04:00
2020-12-10 12:15:06 -05:00
2020-12-10 12:15:08 -05:00
2020-12-10 12:15:18 -05:00
2020-12-10 12:15:18 -05:00
2020-12-10 12:15:04 -05:00
2020-11-17 12:56:32 +00:00
2020-11-15 16:44:18 +01:00
2020-11-15 16:40:30 +01:00
2020-08-21 06:30:33 -04:00
2020-11-20 10:43:41 -05:00
2020-11-23 10:05:58 -07:00
2020-12-10 12:15:10 -05:00
2020-12-11 11:38:10 +01:00
2020-11-15 17:04:40 +01:00
2020-08-21 06:30:33 -04:00
2020-09-25 16:52:08 -07:00
2020-12-10 11:30:44 +00:00
2020-08-21 06:30:33 -04:00