cachepc-qemu

Fork of AMDESE/qemu with changes for cachepc side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-qemu
Log | Files | Refs | Submodules | LICENSE | sfeed.txt

timer-del-timer-free.cocci (522B)

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