280 	uint32_t low, high;  in rdmsr()  local
282 	__asm __volatile("rdmsr" : "=a" (low), "=d" (high) : "c" (msr));  in rdmsr()
283 	return (low | ((uint64_t)high << 32));  in rdmsr()
289 	uint32_t low;  in rdmsr32()  local
291 	__asm __volatile("rdmsr" : "=a" (low) : "c" (msr) : "rdx");  in rdmsr32()
292 	return (low);  in rdmsr32()
298 	uint32_t low, high;  in rdpmc()  local
300 	__asm __volatile("rdpmc" : "=a" (low), "=d" (high) : "c" (pmc));  in rdpmc()
301 	return (low | ((uint64_t)high << 32));  in rdpmc()
307 	uint32_t low, high;  in rdtsc()  local
309 	__asm __volatile("rdtsc" : "=a" (low), "=d" (high));  in rdtsc()
310 	return (low | ((uint64_t)high << 32));  in rdtsc()
330 	uint32_t low, high;  in rdtscp()  local
332 	__asm __volatile("rdtscp" : "=a" (low), "=d" (high) : : "ecx");  in rdtscp()
333 	return (low | ((uint64_t)high << 32));  in rdtscp()
339 	uint32_t low, high;  in rdtscp_aux()  local
341 	__asm __volatile("rdtscp" : "=a" (low), "=d" (high), "=c" (*aux));  in rdtscp_aux()
342 	return (low | ((uint64_t)high << 32));  in rdtscp_aux()
378 	uint32_t low, high;  in wrmsr()  local
380 	low = newval;  in wrmsr()
382 	__asm __volatile("wrmsr" : : "a" (low), "d" (high), "c" (msr));  in wrmsr()
444 	u_int low, high;  in rxcr()  local
446 	__asm __volatile("xgetbv" : "=a" (low), "=d" (high) : "c" (reg));  in rxcr()
447 	return (low | ((uint64_t)high << 32));  in rxcr()
453 	u_int low, high;  in load_xcr()  local
455 	low = val;  in load_xcr()
457 	__asm __volatile("xsetbv" : : "c" (reg), "a" (low), "d" (high));  in load_xcr()