vmm/intel/vmx.c

916 vmx_setup_cr_shadow(int which, struct vmcs *vmcs, uint32_t initial)
934 	error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value);
938 	error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial);
944 #define	vmx_setup_cr0_shadow(vmcs,init)	vmx_setup_cr_shadow(0, (vmcs), (init))
945 #define	vmx_setup_cr4_shadow(vmcs,init)	vmx_setup_cr_shadow(4, (vmcs), (init))
953 	struct vmcs *vmcs;
983 	 * always restored from the vmcs host state area on vm-exit.
1019 		vmcs = &vmx->vmcs[i];
1020 		vmcs->identifier = vmx_revision();
1021 		error = vmclear(vmcs);
1029 		error = vmcs_init(vmcs);
1032 		VMPTRLD(vmcs);
1080 		VMCLEAR(vmcs);
1081 		KASSERT(error == 0, ("vmx_vminit: error customizing the vmcs"));
1097 		error = vmx_setup_cr0_shadow(vmcs, 0x60000010);
1101 		error = vmx_setup_cr4_shadow(vmcs, 0);
2854 	struct vmcs *vmcs;
2863 	vmcs = &vmx->vmcs[vcpu];
2874 	VMPTRLD(vmcs);
2889 		KASSERT(vmcs_guest_rip() == rip, ("%s: vmcs guest rip mismatch "
3018 	VMCLEAR(vmcs);
3126 	error = vmcs_getreg(&vmx->vmcs[vcpu], running,
3135 	struct vmcs *vmcs;
3147 	vmcs = &vmx->vmcs[vcpu];
3149 	error = vmcs_getreg(vmcs, running, ident, &gi);
3152 		error = vmcs_setreg(vmcs, running, ident, gi);
3197 	return (vmcs_getreg(&vmx->vmcs[vcpu], running, reg, retval));
3222 	error = vmcs_setreg(&vmx->vmcs[vcpu], running, reg, val);
3232 			vmcs_getreg(&vmx->vmcs[vcpu], running,
3238 			vmcs_setreg(&vmx->vmcs[vcpu], running,
3247 			error = vmcs_setreg(&vmx->vmcs[vcpu], running,
3277 	return (vmcs_getdesc(&vmx->vmcs[vcpu], running, reg, desc));
3290 	return (vmcs_setdesc(&vmx->vmcs[vcpu], running, reg, desc));
3339 	struct vmcs *vmcs = &vmx->vmcs[vcpu];
3406 		VMPTRLD(vmcs);
3408 		VMCLEAR(vmcs);
3610 	struct vmcs *vmcs;
3619 	vmcs = &vmx->vmcs[vlapic->vcpuid];
3622 	VMPTRLD(vmcs);
3629 	VMCLEAR(vmcs);
3636 	struct vmcs *vmcs;
3642 	vmcs = &vmx->vmcs[vcpuid];
3650 	VMPTRLD(vmcs);
3652 	VMCLEAR(vmcs);
3659 	struct vmcs *vmcs;
3665 	vmcs = &vmx->vmcs[vcpuid];
3675 	VMPTRLD(vmcs);
3677 	VMCLEAR(vmcs);