On 10/4/19 5:34 AM, David Hildenbrand wrote: > Or, as alternative, something like "cpu_shall_exit()" which only > wraps the single check.
I would prefer this to the full cpu_loop_exit_restore. It's harder to imagine what else might need doing for some other user of the interface. r~
