paravirt_rdtscp   824 include/asm-x86/paravirt.h 	unsigned long __val = paravirt_rdtscp(&__aux);	\
paravirt_rdtscp   833 include/asm-x86/paravirt.h 	val = paravirt_rdtscp(&__aux);			\