1. 2017-10-05 Re: [PATCH] x86/mce: Convert timers to use timer_setu linux-ker Borislav Petkov 2. 2017-10-05 Re: [PATCH] x86/mce: Convert timers to use timer_setu linux-eda Borislav Petkov 3. 2017-10-05 [PATCH] x86/mce: Convert timers to use timer_setup() linux-ker Kees Cook 4. 2017-10-05 [PATCH] x86/mce: Convert timers to use timer_setup() linux-eda Kees Cook