paravirt_read_tsc  184 arch/x86/include/asm/paravirt.h 	u64 _l = paravirt_read_tsc();		\
paravirt_read_tsc  188 arch/x86/include/asm/paravirt.h #define rdtscll(val) (val = paravirt_read_tsc())