| 225 | } |
| 226 | |
| 227 | int |
| 228 | vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val) |
| 229 | { |
| 230 | int error; |
| 231 | uint32_t encoding; |
| 232 | |
| 233 | if (ident < 0) |
| 234 | encoding = ident & 0x7fffffff; |
| 235 | else |
| 236 | encoding = vmcs_field_encoding(ident); |
| 237 | |
| 238 | if (encoding == (uint32_t)-1) |
| 239 | return (EINVAL); |
| 240 | |
| 241 | val = vmcs_fix_regval(encoding, val); |
| 242 | |
| 243 | if (!running) |
| 244 | VMPTRLD(vmcs); |
| 245 | |
| 246 | error = vmwrite(encoding, val); |
| 247 | |
| 248 | if (!running) |
| 249 | VMCLEAR(vmcs); |
| 250 | |
| 251 | return (error); |
| 252 | } |
| 253 | |
| 254 | int |
| 255 | vmcs_setdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc) |
no test coverage detected