3764 vmx_restore_control_msr(struct vcpu_vmx *vmx, u32 msr_index, u64 data)  in vmx_restore_control_msr()  argument
3769 	switch (msr_index) {  in vmx_restore_control_msr()
3870 static int vmx_restore_fixed0_msr(struct vcpu_vmx *vmx, u32 msr_index, u64 data)  in vmx_restore_fixed0_msr()  argument
3874 	switch (msr_index) {  in vmx_restore_fixed0_msr()
3901 static int vmx_set_vmx_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data)  in vmx_set_vmx_msr()  argument
3912 	switch (msr_index) {  in vmx_set_vmx_msr()
3934 		return vmx_restore_control_msr(vmx, msr_index, data);  in vmx_set_vmx_msr()
3939 		return vmx_restore_fixed0_msr(vmx, msr_index, data);  in vmx_set_vmx_msr()
3961 static int vmx_get_vmx_msr(struct nested_vmx_msrs *msrs, u32 msr_index, u64 *pdata)  in vmx_get_vmx_msr()  argument
3963 	switch (msr_index) {  in vmx_get_vmx_msr()
3972 		if (msr_index == MSR_IA32_VMX_PINBASED_CTLS)  in vmx_get_vmx_msr()
3980 		if (msr_index == MSR_IA32_VMX_PROCBASED_CTLS)  in vmx_get_vmx_msr()
3988 		if (msr_index == MSR_IA32_VMX_EXIT_CTLS)  in vmx_get_vmx_msr()
3996 		if (msr_index == MSR_IA32_VMX_ENTRY_CTLS)  in vmx_get_vmx_msr()
4162 	u32 msr_index = msr_info->index;  in vmx_set_msr()  local
4165 	switch (msr_index) {  in vmx_set_msr()
4298 		return vmx_set_vmx_msr(vcpu, msr_index, data);  in vmx_set_msr()
4324 		msr = find_msr_entry(vmx, msr_index);  in vmx_set_msr()
9472 	u32 msr_index = vcpu->arch.regs[VCPU_REGS_RCX];  in nested_vmx_exit_handled_msr()  local
9486 	if (msr_index >= 0xc0000000) {  in nested_vmx_exit_handled_msr()
9487 		msr_index -= 0xc0000000;  in nested_vmx_exit_handled_msr()
9492 	if (msr_index < 1024*8) {  in nested_vmx_exit_handled_msr()
9494 		if (kvm_vcpu_read_guest(vcpu, bitmap + msr_index/8, &b, 1))  in nested_vmx_exit_handled_msr()
9496 		return 1 & (b >> (msr_index & 7));  in nested_vmx_exit_handled_msr()