| 131 | } |
| 132 | |
| 133 | static __inline int |
| 134 | vmread(uint64_t r, uint64_t *addr) |
| 135 | { |
| 136 | int error; |
| 137 | |
| 138 | __asm __volatile("vmread %[r], %[addr];" |
| 139 | VMX_SET_ERROR_CODE |
| 140 | : [error] "=r" (error) |
| 141 | : [r] "r" (r), [addr] "m" (*addr) |
| 142 | : "memory"); |
| 143 | |
| 144 | return (error); |
| 145 | } |
| 146 | |
| 147 | static void __inline |
| 148 | VMCLEAR(struct vmcs *vmcs) |
no outgoing calls
no test coverage detected