| 117 | } |
| 118 | |
| 119 | static __inline int |
| 120 | vmwrite(uint64_t reg, uint64_t val) |
| 121 | { |
| 122 | int error; |
| 123 | |
| 124 | __asm __volatile("vmwrite %[val], %[reg];" |
| 125 | VMX_SET_ERROR_CODE |
| 126 | : [error] "=r" (error) |
| 127 | : [val] "r" (val), [reg] "r" (reg) |
| 128 | : "memory"); |
| 129 | |
| 130 | return (error); |
| 131 | } |
| 132 | |
| 133 | static __inline int |
| 134 | vmread(uint64_t r, uint64_t *addr) |
no outgoing calls
no test coverage detected