Lines Matching refs:val
104 static INLINE void wrmsr(uint32_t addr, uint64_t val)
106 uint32_t eax = val & 0xFFFFFFFF;
107 uint32_t edx = val >> 32;
131 uint64_t val;
134 : "=r" (val));
136 return val;
139 static INLINE void write_cr0(uint64_t val)
143 : "r" (val));
148 uint64_t val;
151 : "=r" (val));
153 return val;
158 uint64_t val;
161 : "=r" (val));
163 return val;
166 static INLINE void write_cr3(uint64_t val)
170 : "r" (val));
175 uint64_t val;
178 : "=r" (val));
180 return val;
183 static INLINE void write_cr4(uint64_t val)
187 : "r" (val));
196 uint64_t val;
199 : "=r" (val));
201 return val;
204 static INLINE void write_dr0(uint64_t val)
208 : "r" (val));
213 uint64_t val;
216 : "=r" (val));
218 return val;
221 static INLINE void write_dr1(uint64_t val)
225 : "r" (val));
230 uint64_t val;
233 : "=r" (val));
235 return val;
238 static INLINE void write_dr2(uint64_t val)
242 : "r" (val));
247 uint64_t val;
250 : "=r" (val));
252 return val;
255 static INLINE void write_dr3(uint64_t val)
259 : "r" (val));
264 uint64_t val;
267 : "=r" (val));
269 return val;
272 static INLINE void write_dr6(uint64_t val)
276 : "r" (val));
281 uint64_t val;
284 : "=r" (val));
286 return val;
289 static INLINE void write_dr7(uint64_t val)
293 : "r" (val));
302 uint16_t val;
305 : "=r" (val));
307 return val;
310 static INLINE void write_ds(uint16_t val)
314 : "r" (val));
319 uint16_t val;
322 : "=r" (val));
324 return val;
327 static INLINE void write_es(uint16_t val)
331 : "r" (val));
336 uint16_t val;
339 : "=r" (val));
341 return val;
344 static INLINE void write_fs(uint16_t val)
348 : "r" (val));
353 uint16_t val;
356 : "=r" (val));
358 return val;
361 static INLINE void write_gs(uint16_t val)
365 : "r" (val));