1*01b3e68bSPeter Maydell// Remove superfluous timer_del() calls 2*01b3e68bSPeter Maydell// 3*01b3e68bSPeter Maydell// Copyright Linaro Limited 2020 4*01b3e68bSPeter Maydell// This work is licensed under the terms of the GNU GPLv2 or later. 5*01b3e68bSPeter Maydell// 6*01b3e68bSPeter Maydell// spatch --macro-file scripts/cocci-macro-file.h \ 7*01b3e68bSPeter Maydell// --sp-file scripts/coccinelle/timer-del-timer-free.cocci \ 8*01b3e68bSPeter Maydell// --in-place --dir . 9*01b3e68bSPeter Maydell// 10*01b3e68bSPeter Maydell// The timer_free() function now implicitly calls timer_del() 11*01b3e68bSPeter Maydell// for you, so calls to timer_del() immediately before the 12*01b3e68bSPeter Maydell// timer_free() of the same timer can be deleted. 13*01b3e68bSPeter Maydell 14*01b3e68bSPeter Maydell@@ 15*01b3e68bSPeter Maydellexpression T; 16*01b3e68bSPeter Maydell@@ 17*01b3e68bSPeter Maydell-timer_del(T); 18*01b3e68bSPeter Maydell timer_free(T); 19