Lines Matching refs:__inline

46 static __inline void invlpg(u_int);
47 static __inline void lidt(void *);
48 static __inline void lldt(u_short);
49 static __inline void ltr(u_short);
50 static __inline void lcr0(u_int);
51 static __inline u_int rcr0(void);
52 static __inline u_int rcr2(void);
53 static __inline void lcr3(u_int);
54 static __inline u_int rcr3(void);
55 static __inline void lcr4(u_int);
56 static __inline u_int rcr4(void);
57 static __inline void tlbflush(void);
58 static __inline void disable_intr(void);
59 static __inline void enable_intr(void);
60 static __inline u_int read_eflags(void);
61 static __inline void write_eflags(u_int);
62 static __inline void wbinvd(void);
63 static __inline void wrmsr(u_int, u_int64_t);
64 static __inline u_int64_t rdmsr(u_int);
65 static __inline void breakpoint(void);
67 static __inline void 
73 static __inline void
79 static __inline void
85 static __inline void
91 static __inline void
97 static __inline u_int
105 static __inline u_int
113 static __inline void
119 static __inline u_int
127 static __inline void
133 static __inline u_int
141 static __inline void
156 static __inline void
162 static __inline void
168 static __inline u_int
177 static __inline void
183 static __inline void
190 static __inline void
196 static __inline u_int64_t
206 static __inline void