tree e165c498c0de007ca76e12c2ef115f3af1c5abab
parent 578912ad7312ececb9a88b4c38d406dda640346d
author Nicholas Piggin <npiggin@gmail.com> 1691468393 +1000
committer Cédric Le Goater <clg@kaod.org> 1693991973 +0200

hw/ppc: Reset timebase facilities on machine reset

Lower interrupts, delete timers, and set time facility registers
back to initial state on machine reset.

This is not so important for record-replay since timebase and
decrementer are migrated, but it gives a cleaner reset state.

Cc: Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk>
Cc: BALATON Zoltan <balaton@eik.bme.hu>
Signed-off-by: Nicholas Piggin <npiggin@gmail.com>
[ clg: checkpatch.pl fixes ]
Signed-off-by: Cédric Le Goater <clg@kaod.org>