On 31.01.20 11:02, Janosch Frank wrote: > From: Pierre Morel <pmorel@xxxxxxxxxxxxx> > > Local IRQs are reset by a normal cpu reset. The initial cpu reset and > the clear cpu reset, as superset of the normal reset, both clear the > IRQs too. > > Let's inject an interrupt to a vCPU before calling a reset and see if > it is gone after the reset. > > We choose to inject only an emergency interrupt at this point and can > extend the test to other types of IRQs later. > > Signed-off-by: Pierre Morel <pmorel@xxxxxxxxxxxxx> > Signed-off-by: Janosch Frank <frankja@xxxxxxxxxxxxx>[minor fixups] thanks applied.