timer: catching new timers in migrated tvec_base

Hi all, I'm looking for feedback regarding explicitly invalidating the list_heads in tvec_base.tv1 .. tv5 after a migration, for example by doing a list_del(head) at the end of migrate_timer_list(). This is not meant to fix any bugs, but to help catch attempts to add timers to the migrated

timer: catching new timers in migrated tvec_base

Hi all, I'm looking for feedback regarding explicitly invalidating the list_heads in tvec_base.tv1 .. tv5 after a migration, for example by doing a list_del(head) at the end of migrate_timer_list(). This is not meant to fix any bugs, but to help catch attempts to add timers to the migrated