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

cpu_restore_state.cocci (433B)

      1// Remove unneeded tests before calling cpu_restore_state
      2//
      3// spatch --macro-file scripts/cocci-macro-file.h \
      4//        --sp-file ./scripts/coccinelle/cpu_restore_state.cocci \
      5//        --keep-comments --in-place --use-gitgrep --dir target
      6@@
      7expression A;
      8expression C;
      9@@
     10-if (A) {
     11     cpu_restore_state(C, A);
     12-}
     13@@
     14expression A;
     15expression C;
     16@@
     17- cpu_restore_state(C, A);
     18- cpu_loop_exit(C);
     19+ cpu_loop_exit_restore(C, A);