Re: deleting timer that re-registers itself

On Tue, 04 May 2021 12:17:56 -0400, "Valdis KlD tnieks" said:

void __exit timer_exit(void) { exiting = 1;

-ENOCAFFEINE That still needs a few memory barriers. See Documentation/memory_barriers.txt for the gory details.