997 vmx_setup_cr_shadow(int which, struct vmcs *vmcs, uint32_t initial)  in vmx_setup_cr_shadow()  argument
1015 	error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value);  in vmx_setup_cr_shadow()
1019 	error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial);  in vmx_setup_cr_shadow()
1025 #define	vmx_setup_cr0_shadow(vmcs,init)	vmx_setup_cr_shadow(0, (vmcs), (init))  argument
1026 #define	vmx_setup_cr4_shadow(vmcs,init)	vmx_setup_cr_shadow(4, (vmcs), (init))  argument
1034 	struct vmcs *vmcs;  in vmx_vminit()  local
1110 		vmcs = &vmx->vmcs[i];  in vmx_vminit()
1111 		vmcs->identifier = vmx_revision();  in vmx_vminit()
1112 		error = vmclear(vmcs);  in vmx_vminit()
1120 		error = vmcs_init(vmcs);  in vmx_vminit()
1123 		VMPTRLD(vmcs);  in vmx_vminit()
1171 		VMCLEAR(vmcs);  in vmx_vminit()
1191 		error = vmx_setup_cr0_shadow(vmcs, 0x60000010);  in vmx_vminit()
1195 		error = vmx_setup_cr4_shadow(vmcs, 0);  in vmx_vminit()
2982 	struct vmcs *vmcs;  in vmx_run()  local
2991 	vmcs = &vmx->vmcs[vcpu];  in vmx_run()
3002 	VMPTRLD(vmcs);  in vmx_run()
3179 	VMCLEAR(vmcs);  in vmx_run()
3287 	error = vmcs_getreg(&vmx->vmcs[vcpu], running,  in vmx_get_intr_shadow()
3296 	struct vmcs *vmcs;  in vmx_modify_intr_shadow()  local
3308 	vmcs = &vmx->vmcs[vcpu];  in vmx_modify_intr_shadow()
3310 	error = vmcs_getreg(vmcs, running, ident, &gi);  in vmx_modify_intr_shadow()
3313 		error = vmcs_setreg(vmcs, running, ident, gi);  in vmx_modify_intr_shadow()
3358 	return (vmcs_getreg(&vmx->vmcs[vcpu], running, reg, retval));  in vmx_getreg()
3383 	error = vmcs_setreg(&vmx->vmcs[vcpu], running, reg, val);  in vmx_setreg()
3393 			vmcs_getreg(&vmx->vmcs[vcpu], running,  in vmx_setreg()
3399 			vmcs_setreg(&vmx->vmcs[vcpu], running,  in vmx_setreg()
3408 			error = vmcs_setreg(&vmx->vmcs[vcpu], running,  in vmx_setreg()
3438 	return (vmcs_getdesc(&vmx->vmcs[vcpu], running, reg, desc));  in vmx_getdesc()
3451 	return (vmcs_setdesc(&vmx->vmcs[vcpu], running, reg, desc));  in vmx_setdesc()
3511 	struct vmcs *vmcs = &vmx->vmcs[vcpu];  in vmx_setcap()  local
3603 		VMPTRLD(vmcs);  in vmx_setcap()
3605 		VMCLEAR(vmcs);  in vmx_setcap()
3804 	struct vmcs *vmcs;  in vmx_set_tmr()  local
3813 	vmcs = &vmx->vmcs[vlapic->vcpuid];  in vmx_set_tmr()
3816 	VMPTRLD(vmcs);  in vmx_set_tmr()
3823 	VMCLEAR(vmcs);  in vmx_set_tmr()
3830 	struct vmcs *vmcs;  in vmx_enable_x2apic_mode_ts()  local
3836 	vmcs = &vmx->vmcs[vcpuid];  in vmx_enable_x2apic_mode_ts()
3844 	VMPTRLD(vmcs);  in vmx_enable_x2apic_mode_ts()
3846 	VMCLEAR(vmcs);  in vmx_enable_x2apic_mode_ts()
3853 	struct vmcs *vmcs;  in vmx_enable_x2apic_mode_vid()  local
3859 	vmcs = &vmx->vmcs[vcpuid];  in vmx_enable_x2apic_mode_vid()
3869 	VMPTRLD(vmcs);  in vmx_enable_x2apic_mode_vid()
3871 	VMCLEAR(vmcs);  in vmx_enable_x2apic_mode_vid()