| 395 | } |
| 396 | |
| 397 | static __inline void |
| 398 | wrmsr(u_int msr, uint64_t newval) |
| 399 | { |
| 400 | uint32_t low, high; |
| 401 | |
| 402 | low = newval; |
| 403 | high = newval >> 32; |
| 404 | __asm __volatile("wrmsr" : : "a" (low), "d" (high), "c" (msr)); |
| 405 | } |
| 406 | |
| 407 | static __inline void |
| 408 | load_cr0(u_long data) |
no outgoing calls
no test coverage detected