EAX_EDX_VAL       100 arch/x86/include/asm/msr.h 	return EAX_EDX_VAL(val, low, high);
EAX_EDX_VAL       154 arch/x86/include/asm/msr.h 		do_trace_read_msr(msr, EAX_EDX_VAL(val, low, high), *err);
EAX_EDX_VAL       155 arch/x86/include/asm/msr.h 	return EAX_EDX_VAL(val, low, high);
EAX_EDX_VAL       207 arch/x86/include/asm/msr.h 	return EAX_EDX_VAL(val, low, high);
EAX_EDX_VAL       243 arch/x86/include/asm/msr.h 	return EAX_EDX_VAL(val, low, high);
EAX_EDX_VAL       252 arch/x86/include/asm/msr.h 		do_trace_rdpmc(counter, EAX_EDX_VAL(val, low, high), 0);
EAX_EDX_VAL       253 arch/x86/include/asm/msr.h 	return EAX_EDX_VAL(val, low, high);