Advertisement
Guest User

Untitled

a guest
Feb 21st, 2019
76
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.35 KB | None | 0 0
  1. cat /proc/cpuinfo | head -n 19 | tail -1 | grep -c rdtscp
  2.  
  3. execute_process(COMMAND cat /proc/cpuinfo
  4. COMMAND head -n 19
  5. COMMAND tail -1
  6. COMMAND grep -c rdtscp
  7. OUTPUT_VARIABLE OUT)
  8.  
  9. wp : yes
  10.  
  11. execute_process(COMMAND grep -l '^flags[[:space:]]*:.*rdtscp' /proc/cpuinfo
  12. OUTPUT_VARIABLE OUT)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement