465 	if (CC(!page_address_valid(vcpu, vmcs12->msr_bitmap)))  in nested_vmx_check_msr_bitmap_controls()
488 	unsigned long *msr_bitmap;  in msr_write_intercepted_l01()  local
494 	msr_bitmap = to_vmx(vcpu)->vmcs01.msr_bitmap;  in msr_write_intercepted_l01()
497 		return !!test_bit(msr, msr_bitmap + 0x800 / f);  in msr_write_intercepted_l01()
500 		return !!test_bit(msr, msr_bitmap + 0xc00 / f);  in msr_write_intercepted_l01()
547 static inline void enable_x2apic_msr_intercepts(unsigned long *msr_bitmap)  in enable_x2apic_msr_intercepts()  argument
554 		msr_bitmap[word] = ~0;  in enable_x2apic_msr_intercepts()
555 		msr_bitmap[word + (0x800 / sizeof(long))] = ~0;  in enable_x2apic_msr_intercepts()
568 	unsigned long *msr_bitmap_l0 = to_vmx(vcpu)->nested.vmcs02.msr_bitmap;  in nested_vmx_prepare_msr_bitmap()
576 	if (kvm_vcpu_map(vcpu, gpa_to_gfn(vmcs12->msr_bitmap), map))  in nested_vmx_prepare_msr_bitmap()
1682 		vmcs12->msr_bitmap = evmcs->msr_bitmap;  in copy_enlightened_to_vmcs12()
2177 		vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap));  in prepare_vmcs02_constant_state()
5596 	bitmap = vmcs12->msr_bitmap;  in nested_vmx_exit_handled_msr()