75 static __inline u_long
76 bsfq(u_long mask)  in bsfq()
78 	u_long	result;  in bsfq()
93 static __inline u_long
94 bsrq(u_long mask)  in bsrq()
96 	u_long	result;  in bsrq()
103 clflush(u_long addr)  in clflush()
110 clflushopt(u_long addr)  in clflushopt()
161 	return (mask == 0 ? mask : (int)bsfq((u_long)mask) + 1);  in ffsl()
185 	return (mask == 0 ? mask : (int)bsrq((u_long)mask) + 1);  in flsl()
306 static __inline u_long
307 popcntq(u_long mask)  in popcntq()
309 	u_long result;  in popcntq()
342 static __inline u_long
345 	u_long	rf;  in read_rflags()
403 write_rflags(u_long rf)  in write_rflags()
419 load_cr0(u_long data)  in load_cr0()
425 static __inline u_long
428 	u_long	data;  in rcr0()
434 static __inline u_long
437 	u_long	data;  in rcr2()
444 load_cr3(u_long data)  in load_cr3()
450 static __inline u_long
453 	u_long	data;  in rcr3()
460 load_cr4(u_long data)  in load_cr4()
465 static __inline u_long
468 	u_long	data;  in rcr4()
474 static __inline u_long
484 load_xcr(u_int reg, u_long val)  in load_xcr()
536 invlpg(u_long addr)  in invlpg()
558 	    : : "r" (d), "r" ((u_long)type) : "memory");  in invpcid()
598 cpu_monitor(const void *addr, u_long extensions, u_int hints)  in cpu_monitor()
606 cpu_mwait(u_long extensions, u_int hints)  in cpu_mwait()
810 void	clflush(u_long addr);
831 void	load_cr0(u_long cr0);
832 void	load_cr3(u_long cr3);
833 void	load_cr4(u_long cr4);
849 u_long	rcr0(void);
850 u_long	rcr2(void);
851 u_long	rcr3(void);
852 u_long	rcr4(void);
863 u_long	read_rflags(void);