tree f52e471947494f9d1b4e03e825bca7ddb316a468
parent ec010c00665ba1e78e6b3df104f923c4ea68504a
author Nicholas Piggin <npiggin@gmail.com> 1585146544 +1000
committer David Gibson <david@gibson.dropbear.id.au> 1586213710 +1000

ppc/spapr: Improve FWNMI machine check delivery corner case comments

Some of the conditions are not as clearly documented as they could be.
Also the non-FWNMI case does not need a large comment.

Reviewed-by: Greg Kurz <groug@kaod.org>
Signed-off-by: Nicholas Piggin <npiggin@gmail.com>
Message-Id: <20200325142906.221248-3-npiggin@gmail.com>
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>