103           uint32_t low, high;                     \
108                     : "=a" (low), "=d" (high)     \
112           return (low | ((uint64_t)high << 32));  \
363           uint32_t low, high;  in rdxcr()  local
367                     : "=a" (low), "=d" (high)  in rdxcr()
371           return (low | ((uint64_t)high << 32));  in rdxcr()
377           uint32_t low, high;  in wrxcr()  local
380           high = val >> 32;  in wrxcr()
384                     : "a" (low), "d" (high), "c" (xcr)  in wrxcr()
444           uint32_t low, high;  in xsave()  local
447           high = mask >> 32;  in xsave()
451                     : "a" (low), "d" (high)  in xsave()
460           uint32_t low, high;  in xsaveopt()  local
463           high = mask >> 32;  in xsaveopt()
467                     : "a" (low), "d" (high)  in xsaveopt()
476           uint32_t low, high;  in xrstor()  local
479           high = mask >> 32;  in xrstor()
483                     : [area] "m" (*area), "a" (low), "d" (high)  in xrstor()
519           uint32_t low, high;  in xsave64()  local
522           high = mask >> 32;  in xsave64()
526                     : "a" (low), "d" (high)  in xsave64()
535           uint32_t low, high;  in xsaveopt64()  local
538           high = mask >> 32;  in xsaveopt64()
542                     : "a" (low), "d" (high)  in xsaveopt64()
551           uint32_t low, high;  in xrstor64()  local
554           high = mask >> 32;  in xrstor64()
558                     : [area] "m" (*area), "a" (low), "d" (high)  in xrstor64()
604           uint32_t low, high;  in rdmsr()  local
608                     : "=a" (low), "=d" (high)  in rdmsr()
612           return (low | ((uint64_t)high << 32));  in rdmsr()
618           uint32_t low, high, pass = OPTERON_MSR_PASSCODE;  in rdmsr_locked()  local
622                     : "=a" (low), "=d" (high)  in rdmsr_locked()
626           return (low | ((uint64_t)high << 32));  in rdmsr_locked()
634           uint32_t low, high;  in wrmsr()  local
637           high = val >> 32;  in wrmsr()
641                     : "a" (low), "d" (high), "c" (msr)  in wrmsr()
649           uint32_t low, high, pass = OPTERON_MSR_PASSCODE;  in wrmsr_locked()  local
652           high = val >> 32;  in wrmsr_locked()
656                     : "a" (low), "d" (high), "c" (msr), "D" (pass)  in wrmsr_locked()