paravirt_rdtscp   226 arch/x86/include/asm/paravirt.h 	unsigned long __val = paravirt_rdtscp(&__aux);	\
paravirt_rdtscp   235 arch/x86/include/asm/paravirt.h 	val = paravirt_rdtscp(&__aux);			\