1 /*-
2  * SPDX-License-Identifier: BSD-3-Clause
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()
477  * current context.  The function works both on non-PCID CPUs and CPUs
478  * with the PCID turned off or on.  See IA-32 SDM Vol. 3a 4.10.4.1
479  * Operations that Invalidate TLBs and Paging-Structure Caches.
492 	 * is re-entered, the load_cr4() either above or below will  in invltlb_glob()
957 	uint32_t low, hi;  in xrstors()  local
959 	low = state_bitmap;  in xrstors()
961 	__asm __volatile("xrstors %0" : : "m"(*save_area), "a"(low),  in xrstors()
968 	uint32_t low, hi;  in xsaves()  local
970 	low = state_bitmap;  in xsaves()
972 	__asm __volatile("xsaves %0" : "=m"(*save_area) : "a"(low),  in xsaves()