diff options
| author | Nicholas Piggin <npiggin@gmail.com> | 2020-03-17 00:26:07 +1000 |
|---|---|---|
| committer | David Gibson <david@gibson.dropbear.id.au> | 2020-03-17 17:00:22 +1100 |
| commit | 8af7e1fe6fa4bdd3c4561c13a4bd4ee525e6f02f (patch) | |
| tree | 9e0fd56c769f545e7d526476002b05b48e736024 /hw/display/artist.c | |
| parent | bae9dc4f28016e1721058dd71392433baf7d36a9 (diff) | |
ppc/spapr: Change FWNMI names
The option is called "FWNMI", and it involves more than just machine
checks, also machine checks can be delivered without the FWNMI option,
so re-name various things to reflect that.
Signed-off-by: Nicholas Piggin <npiggin@gmail.com>
Message-Id: <20200316142613.121089-3-npiggin@gmail.com>
Reviewed-by: Greg Kurz <groug@kaod.org>
Reviewed-by: Cédric Le Goater <clg@kaod.org>
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Diffstat (limited to 'hw/display/artist.c')
0 files changed, 0 insertions, 0 deletions