i386/include/cpufunc.h

48 extern u_int xen_rcr2(void);
49 extern void xen_load_cr3(u_int data);
51 extern void xen_invlpg(u_int addr);
52 extern void write_eflags(u_int eflags);
53 extern u_int read_eflags(void);
74 static __inline u_int
75 bsfl(u_int mask)
77 	u_int	result;
83 static __inline u_int
84 bsrl(u_int mask)
86 	u_int	result;
117 do_cpuid(u_int ax, u_int *p)
125 cpuid_count(u_int ax, u_int cx, u_int *p)
143 cpu_monitor(const void *addr, u_long extensions, u_int hints)
151 cpu_mwait(u_long extensions, u_int hints)
184 	 return (mask == 0 ? mask : (int)bsfl((u_int)mask) + 1);
192 	return (mask == 0 ? mask : (int)bsrl((u_int)mask) + 1);
204 inb(u_int port)
212 static __inline u_int
213 inl(u_int port)
215 	u_int	data;
222 insb(u_int port, void *addr, size_t count)
231 insw(u_int port, void *addr, size_t count)
240 insl(u_int port, void *addr, size_t count)
255 inw(u_int port)
264 outb(u_int port, u_char data)
270 outl(u_int port, u_int data)
276 outsb(u_int port, const void *addr, size_t count)
284 outsw(u_int port, const void *addr, size_t count)
292 outsl(u_int port, const void *addr, size_t count)
300 outw(u_int port, u_short data)
311 static __inline u_int
318 	u_int	ef;
325 rdmsr(u_int msr)
334 rdpmc(u_int pmc)
368 _write_eflags(u_int ef)
370 write_eflags(u_int ef)
377 wrmsr(u_int msr, uint64_t newval)
383 load_cr0(u_int data)
389 static __inline u_int
392 	u_int	data;
398 static __inline u_int
401 	u_int	data;
411 load_cr3(u_int data)
420 static __inline u_int
423 	u_int	data;
430 load_cr4(u_int data)
435 static __inline u_int
438 	u_int	data;
445 rxcr(u_int reg)
447 	u_int low, high;
454 load_xcr(u_int reg, uint64_t val)
456 	u_int low, high;
481 invlpg(u_int addr)
577 static __inline u_int
580 	u_int	data;
586 load_dr0(u_int dr0)
591 static __inline u_int
594 	u_int	data;
600 load_dr1(u_int dr1)
605 static __inline u_int
608 	u_int	data;
614 load_dr2(u_int dr2)
619 static __inline u_int
622 	u_int	data;
628 load_dr3(u_int dr3)
633 static __inline u_int
636 	u_int	data;
642 load_dr4(u_int dr4)
647 static __inline u_int
650 	u_int	data;
656 load_dr5(u_int dr5)
661 static __inline u_int
664 	u_int	data;
670 load_dr6(u_int dr6)
675 static __inline u_int
678 	u_int	data;
684 load_dr7(u_int dr7)
722 u_int	bsfl(u_int mask);
723 u_int	bsrl(u_int mask);
726 void	cpuid_count(u_int ax, u_int cx, u_int *p);
728 void	do_cpuid(u_int ax, u_int *p);
732 u_char	inb(u_int port);
733 u_int	inl(u_int port);
734 void	insb(u_int port, void *addr, size_t count);
735 void	insl(u_int port, void *addr, size_t count);
736 void	insw(u_int port, void *addr, size_t count);
740 void	invlpg(u_int addr);
742 u_short	inw(u_int port);
745 void	load_cr0(u_int cr0);
746 void	load_cr3(u_int cr3);
747 void	load_cr4(u_int cr4);
748 void	load_dr0(u_int dr0);
749 void	load_dr1(u_int dr1);
750 void	load_dr2(u_int dr2);
751 void	load_dr3(u_int dr3);
752 void	load_dr4(u_int dr4);
753 void	load_dr5(u_int dr5);
754 void	load_dr6(u_int dr6);
755 void	load_dr7(u_int dr7);
759 void	outb(u_int port, u_char data);
760 void	outl(u_int port, u_int data);
761 void	outsb(u_int port, const void *addr, size_t count);
762 void	outsl(u_int port, const void *addr, size_t count);
763 void	outsw(u_int port, const void *addr, size_t count);
764 void	outw(u_int port, u_short data);
765 u_int	rcr0(void);
766 u_int	rcr2(void);
767 u_int	rcr3(void);
768 u_int	rcr4(void);
769 uint64_t rdmsr(u_int msr);
770 uint64_t rdpmc(u_int pmc);
771 u_int	rdr0(void);
772 u_int	rdr1(void);
773 u_int	rdr2(void);
774 u_int	rdr3(void);
775 u_int	rdr4(void);
776 u_int	rdr5(void);
777 u_int	rdr6(void);
778 u_int	rdr7(void);
781 u_int	read_eflags(void);
782 u_int	rfs(void);
784 u_int	rgs(void);
790 void	write_eflags(u_int ef);
791 void	wrmsr(u_int msr, uint64_t newval);
798 int	rdmsr_safe(u_int msr, uint64_t *val);
799 int	wrmsr_safe(u_int msr, uint64_t newval);