| 74 | */ |
| 75 | #ifdef _VMX_CPUFUNC_H_ |
| 76 | static __inline uint64_t |
| 77 | vmcs_read(uint32_t encoding) |
| 78 | { |
| 79 | int error; |
| 80 | uint64_t val; |
| 81 | |
| 82 | error = vmread(encoding, &val); |
| 83 | KASSERT(error == 0, ("vmcs_read(%u) error %d", encoding, error)); |
| 84 | return (val); |
| 85 | } |
| 86 | |
| 87 | static __inline void |
| 88 | vmcs_write(uint32_t encoding, uint64_t val) |
no test coverage detected