Take advantage of the fact that the WFI instruction does continue
authorkettenis <kettenis@openbsd.org>
Thu, 10 Aug 2023 21:01:50 +0000 (21:01 +0000)
committerkettenis <kettenis@openbsd.org>
Thu, 10 Aug 2023 21:01:50 +0000 (21:01 +0000)
commit73e6a6f7f5e349e3e80c23d84a5f3ff867d68447
treef096de2d17404850204a0f779577127b0ecf6fb9
parent9f371b9630db67a7c2de8ae621e3eeb4847b1a43
Take advantage of the fact that the WFI instruction does continue
immediately if there is a pending interrupt to fix a potential race
in the idle loop.

ok guenther@
sys/arch/arm64/arm64/machdep.c