I hope it is unlikely that __mod_timer() would hit the already running timer,so hopefully this will not degrade the performance. And I don't see a simplealternative to ensure the timer's serialization. At least it spins withoutinterrupts disabling.