| 157 | } |
| 158 | |
| 159 | static void __inline |
| 160 | VMPTRLD(struct vmcs *vmcs) |
| 161 | { |
| 162 | int err; |
| 163 | |
| 164 | critical_enter(); |
| 165 | |
| 166 | err = vmptrld(vmcs); |
| 167 | if (err != 0) |
| 168 | panic("%s: vmptrld(%p) error %d", __func__, vmcs, err); |
| 169 | } |
| 170 | |
| 171 | #define INVVPID_TYPE_ADDRESS 0UL |
| 172 | #define INVVPID_TYPE_SINGLE_CONTEXT 1UL |
no test coverage detected