66 static __inline u_int
67 bsfl(u_int mask)  in bsfl()
69 	u_int	result;  in bsfl()
84 static __inline u_int
85 bsrl(u_int mask)  in bsrl()
87 	u_int	result;  in bsrl()
130 do_cpuid(u_int ax, u_int *p)  in do_cpuid()
138 cpuid_count(u_int ax, u_int cx, u_int *p)  in cpuid_count()
177 	return (mask == 0 ? mask : (int)bsrl((u_int)mask) + 1);  in fls()
205 inb(u_int port)  in inb()
213 static __inline u_int
214 inl(u_int port)  in inl()
216 	u_int	data;  in inl()
223 insb(u_int port, void *addr, size_t count)  in insb()
232 insw(u_int port, void *addr, size_t count)  in insw()
241 insl(u_int port, void *addr, size_t count)  in insl()
256 inw(u_int port)  in inw()
265 outb(u_int port, u_char data)  in outb()
271 outl(u_int port, u_int data)  in outl()
277 outsb(u_int port, const void *addr, size_t count)  in outsb()
285 outsw(u_int port, const void *addr, size_t count)  in outsw()
293 outsl(u_int port, const void *addr, size_t count)  in outsl()
301 outw(u_int port, u_short data)  in outw()
352 rdmsr(u_int msr)  in rdmsr()
361 rdmsr32(u_int msr)  in rdmsr32()
370 rdpmc(u_int pmc)  in rdpmc()
409 wrmsr(u_int msr, uint64_t newval)  in wrmsr()
475 rxcr(u_int reg)  in rxcr()
477 	u_int low, high;  in rxcr()
484 load_xcr(u_int reg, u_long val)  in load_xcr()
486 	u_int low, high;  in load_xcr()
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()
808 u_int	bsfl(u_int mask);
809 u_int	bsrl(u_int mask);
812 void	cpuid_count(u_int ax, u_int cx, u_int *p);
814 void	do_cpuid(u_int ax, u_int *p);
818 u_char	inb(u_int port);
819 u_int	inl(u_int port);
820 void	insb(u_int port, void *addr, size_t count);
821 void	insl(u_int port, void *addr, size_t count);
822 void	insw(u_int port, void *addr, size_t count);
826 void	invlpg(u_int addr);
828 u_short	inw(u_int port);
843 void	outb(u_int port, u_char data);
844 void	outl(u_int port, u_int data);
845 void	outsb(u_int port, const void *addr, size_t count);
846 void	outsl(u_int port, const void *addr, size_t count);
847 void	outsw(u_int port, const void *addr, size_t count);
848 void	outw(u_int port, u_short data);
853 uint64_t rdmsr(u_int msr);
854 uint32_t rdmsr32(u_int msr);
855 uint64_t rdpmc(u_int pmc);
864 u_int	rfs(void);
865 u_int	rgs(void);
867 void	write_rflags(u_int rf);
868 void	wrmsr(u_int msr, uint64_t newval);
875 int	rdmsr_safe(u_int msr, uint64_t *val);
876 int	wrmsr_safe(u_int msr, uint64_t newval);