Lines Matching defs:vmcs
975 vmx_setup_cr_shadow(int which, struct vmcs *vmcs, uint32_t initial)
993 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value);
997 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial);
1003 #define vmx_setup_cr0_shadow(vmcs,init) vmx_setup_cr_shadow(0, (vmcs), (init))
1004 #define vmx_setup_cr4_shadow(vmcs,init) vmx_setup_cr_shadow(4, (vmcs), (init))
1012 struct vmcs *vmcs;
1042 * always restored from the vmcs host state area on vm-exit.
1088 vmcs = &vmx->vmcs[i];
1089 vmcs->identifier = vmx_revision();
1090 error = vmclear(vmcs);
1098 error = vmcs_init(vmcs);
1101 VMPTRLD(vmcs);
1149 VMCLEAR(vmcs);
1150 KASSERT(error == 0, ("vmx_vminit: error customizing the vmcs"));
1169 error = vmx_setup_cr0_shadow(vmcs, 0x60000010);
1173 error = vmx_setup_cr4_shadow(vmcs, 0);
2960 struct vmcs *vmcs;
2969 vmcs = &vmx->vmcs[vcpu];
2980 VMPTRLD(vmcs);
2995 KASSERT(vmcs_guest_rip() == rip, ("%s: vmcs guest rip mismatch "
3157 VMCLEAR(vmcs);
3265 error = vmcs_getreg(&vmx->vmcs[vcpu], running,
3274 struct vmcs *vmcs;
3286 vmcs = &vmx->vmcs[vcpu];
3288 error = vmcs_getreg(vmcs, running, ident, &gi);
3291 error = vmcs_setreg(vmcs, running, ident, gi);
3336 return (vmcs_getreg(&vmx->vmcs[vcpu], running, reg, retval));
3361 error = vmcs_setreg(&vmx->vmcs[vcpu], running, reg, val);
3371 vmcs_getreg(&vmx->vmcs[vcpu], running,
3377 vmcs_setreg(&vmx->vmcs[vcpu], running,
3386 error = vmcs_setreg(&vmx->vmcs[vcpu], running,
3416 return (vmcs_getdesc(&vmx->vmcs[vcpu], running, reg, desc));
3429 return (vmcs_setdesc(&vmx->vmcs[vcpu], running, reg, desc));
3489 struct vmcs *vmcs = &vmx->vmcs[vcpu];
3581 VMPTRLD(vmcs);
3583 VMCLEAR(vmcs);
3782 struct vmcs *vmcs;
3791 vmcs = &vmx->vmcs[vlapic->vcpuid];
3794 VMPTRLD(vmcs);
3801 VMCLEAR(vmcs);
3808 struct vmcs *vmcs;
3814 vmcs = &vmx->vmcs[vcpuid];
3822 VMPTRLD(vmcs);
3824 VMCLEAR(vmcs);
3831 struct vmcs *vmcs;
3837 vmcs = &vmx->vmcs[vcpuid];
3847 VMPTRLD(vmcs);
3849 VMCLEAR(vmcs);