paravirt_read_tsc  792 include/asm-x86/paravirt.h 	u64 _l = paravirt_read_tsc();		\
paravirt_read_tsc  796 include/asm-x86/paravirt.h #define rdtscll(val) (val = paravirt_read_tsc())