934 					    u32 msr_index,  in nested_vmx_get_vmexit_msr_value()  argument
944 	if (msr_index == MSR_IA32_TSC) {  in nested_vmx_get_vmexit_msr_value()
956 	if (kvm_get_msr(vcpu, msr_index, data)) {  in nested_vmx_get_vmexit_msr_value()
958 			msr_index);  in nested_vmx_get_vmexit_msr_value()
1014 static bool nested_msr_store_list_has_msr(struct kvm_vcpu *vcpu, u32 msr_index)  in nested_msr_store_list_has_msr()  argument
1026 		if (e.index == msr_index)  in nested_msr_store_list_has_msr()
1033 					   u32 msr_index)  in prepare_vmx_msr_autostore_list()  argument
1042 	msr_autostore_slot = vmx_find_loadstore_msr_slot(autostore, msr_index);  in prepare_vmx_msr_autostore_list()
1044 	in_vmcs12_store_list = nested_msr_store_list_has_msr(vcpu, msr_index);  in prepare_vmx_msr_autostore_list()
1057 				msr_index);  in prepare_vmx_msr_autostore_list()
1061 		autostore->val[last].index = msr_index;  in prepare_vmx_msr_autostore_list()
1271 static void vmx_get_control_msr(struct nested_vmx_msrs *msrs, u32 msr_index,  in vmx_get_control_msr()  argument
1274 	switch (msr_index) {  in vmx_get_control_msr()
1301 vmx_restore_control_msr(struct vcpu_vmx *vmx, u32 msr_index, u64 data)  in vmx_restore_control_msr()  argument
1306 	vmx_get_control_msr(&vmcs_config.nested, msr_index, &lowp, &highp);  in vmx_restore_control_msr()
1318 	vmx_get_control_msr(&vmx->nested.msrs, msr_index, &lowp, &highp);  in vmx_restore_control_msr()
1373 static u64 *vmx_get_fixed0_msr(struct nested_vmx_msrs *msrs, u32 msr_index)  in vmx_get_fixed0_msr()  argument
1375 	switch (msr_index) {  in vmx_get_fixed0_msr()
1385 static int vmx_restore_fixed0_msr(struct vcpu_vmx *vmx, u32 msr_index, u64 data)  in vmx_restore_fixed0_msr()  argument
1387 	const u64 *msr = vmx_get_fixed0_msr(&vmcs_config.nested, msr_index);  in vmx_restore_fixed0_msr()
1396 	*vmx_get_fixed0_msr(&vmx->nested.msrs, msr_index) = data;  in vmx_restore_fixed0_msr()
1405 int vmx_set_vmx_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data)  in vmx_set_vmx_msr()  argument
1416 	switch (msr_index) {  in vmx_set_vmx_msr()
1438 		return vmx_restore_control_msr(vmx, msr_index, data);  in vmx_set_vmx_msr()
1443 		return vmx_restore_fixed0_msr(vmx, msr_index, data);  in vmx_set_vmx_msr()
1470 int vmx_get_vmx_msr(struct nested_vmx_msrs *msrs, u32 msr_index, u64 *pdata)  in vmx_get_vmx_msr()  argument
1472 	switch (msr_index) {  in vmx_get_vmx_msr()
1481 		if (msr_index == MSR_IA32_VMX_PINBASED_CTLS)  in vmx_get_vmx_msr()
1489 		if (msr_index == MSR_IA32_VMX_PROCBASED_CTLS)  in vmx_get_vmx_msr()
1497 		if (msr_index == MSR_IA32_VMX_EXIT_CTLS)  in vmx_get_vmx_msr()
1505 		if (msr_index == MSR_IA32_VMX_ENTRY_CTLS)  in vmx_get_vmx_msr()
5673 	u32 msr_index = kvm_rcx_read(vcpu);  in nested_vmx_exit_handled_msr()  local
5687 	if (msr_index >= 0xc0000000) {  in nested_vmx_exit_handled_msr()
5688 		msr_index -= 0xc0000000;  in nested_vmx_exit_handled_msr()
5693 	if (msr_index < 1024*8) {  in nested_vmx_exit_handled_msr()
5695 		if (kvm_vcpu_read_guest(vcpu, bitmap + msr_index/8, &b, 1))  in nested_vmx_exit_handled_msr()
5697 		return 1 & (b >> (msr_index & 7));  in nested_vmx_exit_handled_msr()