63 static __inline u_int
64 bsfl(u_int mask)  in bsfl()
66 	u_int	result;  in bsfl()
72 static __inline u_int
73 bsrl(u_int mask)  in bsrl()
75 	u_int	result;  in bsrl()
110 do_cpuid(u_int ax, u_int *p)  in do_cpuid()
121 cpuid_count(u_int ax, u_int cx, u_int *p)  in cpuid_count()
136 cpu_monitor(const void *addr, u_long extensions, u_int hints)  in cpu_monitor()
144 cpu_mwait(u_long extensions, u_int hints)  in cpu_mwait()
177 	 return (mask == 0 ? mask : (int)bsfl((u_int)mask) + 1);  in ffs()
193 	return (mask == 0 ? mask : (int)bsrl((u_int)mask) + 1);  in fls()
213 inb(u_int port)  in inb()
221 static __inline u_int
222 inl(u_int port)  in inl()
224 	u_int	data;  in inl()
231 insb(u_int port, void *addr, size_t count)  in insb()
240 insw(u_int port, void *addr, size_t count)  in insw()
249 insl(u_int port, void *addr, size_t count)  in insl()
264 inw(u_int port)  in inw()
273 outb(u_int port, u_char data)  in outb()
279 outl(u_int port, u_int data)  in outl()
285 outsb(u_int port, const void *addr, size_t count)  in outsb()
293 outsw(u_int port, const void *addr, size_t count)  in outsw()
301 outsl(u_int port, const void *addr, size_t count)  in outsl()
309 outw(u_int port, u_short data)  in outw()
320 static __inline u_int
323 	u_int	ef;  in read_eflags()
330 rdmsr(u_int msr)  in rdmsr()
339 rdmsr32(u_int msr)  in rdmsr32()
348 rdpmc(u_int pmc)  in rdpmc()
381 write_eflags(u_int ef)  in write_eflags()
387 wrmsr(u_int msr, uint64_t newval)  in wrmsr()
393 load_cr0(u_int data)  in load_cr0()
399 static __inline u_int
402 	u_int	data;  in rcr0()
408 static __inline u_int
411 	u_int	data;  in rcr2()
418 load_cr3(u_int data)  in load_cr3()
424 static __inline u_int
427 	u_int	data;  in rcr3()
434 load_cr4(u_int data)  in load_cr4()
439 static __inline u_int
442 	u_int	data;  in rcr4()
449 rxcr(u_int reg)  in rxcr()
451 	u_int low, high;  in rxcr()
458 load_xcr(u_int reg, uint64_t val)  in load_xcr()
460 	u_int low, high;  in load_xcr()
482 invlpg(u_int addr)  in invlpg()
574 static __inline u_int
577 	u_int	data;  in rdr0()
583 load_dr0(u_int dr0)  in load_dr0()
588 static __inline u_int
591 	u_int	data;  in rdr1()
597 load_dr1(u_int dr1)  in load_dr1()
602 static __inline u_int
605 	u_int	data;  in rdr2()
611 load_dr2(u_int dr2)  in load_dr2()
616 static __inline u_int
619 	u_int	data;  in rdr3()
625 load_dr3(u_int dr3)  in load_dr3()
630 static __inline u_int
633 	u_int	data;  in rdr4()
639 load_dr4(u_int dr4)  in load_dr4()
644 static __inline u_int
647 	u_int	data;  in rdr5()
653 load_dr5(u_int dr5)  in load_dr5()
658 static __inline u_int
661 	u_int	data;  in rdr6()
667 load_dr6(u_int dr6)  in load_dr6()
672 static __inline u_int
675 	u_int	data;  in rdr7()
681 load_dr7(u_int dr7)  in load_dr7()
719 u_int	bsfl(u_int mask);
720 u_int	bsrl(u_int mask);
723 void	cpuid_count(u_int ax, u_int cx, u_int *p);
725 void	do_cpuid(u_int ax, u_int *p);
729 u_char	inb(u_int port);
730 u_int	inl(u_int port);
731 void	insb(u_int port, void *addr, size_t count);
732 void	insl(u_int port, void *addr, size_t count);
733 void	insw(u_int port, void *addr, size_t count);
737 void	invlpg(u_int addr);
739 u_short	inw(u_int port);
742 void	load_cr0(u_int cr0);
743 void	load_cr3(u_int cr3);
744 void	load_cr4(u_int cr4);
745 void	load_dr0(u_int dr0);
746 void	load_dr1(u_int dr1);
747 void	load_dr2(u_int dr2);
748 void	load_dr3(u_int dr3);
749 void	load_dr4(u_int dr4);
750 void	load_dr5(u_int dr5);
751 void	load_dr6(u_int dr6);
752 void	load_dr7(u_int dr7);
756 void	outb(u_int port, u_char data);
757 void	outl(u_int port, u_int data);
758 void	outsb(u_int port, const void *addr, size_t count);
759 void	outsl(u_int port, const void *addr, size_t count);
760 void	outsw(u_int port, const void *addr, size_t count);
761 void	outw(u_int port, u_short data);
762 u_int	rcr0(void);
763 u_int	rcr2(void);
764 u_int	rcr3(void);
765 u_int	rcr4(void);
766 uint64_t rdmsr(u_int msr);
767 uint64_t rdpmc(u_int pmc);
768 u_int	rdr0(void);
769 u_int	rdr1(void);
770 u_int	rdr2(void);
771 u_int	rdr3(void);
772 u_int	rdr4(void);
773 u_int	rdr5(void);
774 u_int	rdr6(void);
775 u_int	rdr7(void);
778 u_int	read_eflags(void);
779 u_int	rfs(void);
781 u_int	rgs(void);
787 void	write_eflags(u_int ef);
788 void	wrmsr(u_int msr, uint64_t newval);
795 int	rdmsr_safe(u_int msr, uint64_t *val);
796 int	wrmsr_safe(u_int msr, uint64_t newval);