| 1194 | } |
| 1195 | |
| 1196 | static int |
| 1197 | vmx_handle_cpuid(struct vm *vm, int vcpu, struct vmxctx *vmxctx) |
| 1198 | { |
| 1199 | int handled; |
| 1200 | |
| 1201 | handled = x86_emulate_cpuid(vm, vcpu, (uint64_t *)&vmxctx->guest_rax, |
| 1202 | (uint64_t *)&vmxctx->guest_rbx, (uint64_t *)&vmxctx->guest_rcx, |
| 1203 | (uint64_t *)&vmxctx->guest_rdx); |
| 1204 | return (handled); |
| 1205 | } |
| 1206 | |
| 1207 | static __inline void |
| 1208 | vmx_run_trace(struct vmx *vmx, int vcpu) |
no test coverage detected