466 	if (CC(!page_address_valid(vcpu, vmcs12->msr_bitmap)))  in nested_vmx_check_msr_bitmap_controls()
489 	unsigned long *msr_bitmap;  in msr_write_intercepted_l01()  local
495 	msr_bitmap = to_vmx(vcpu)->vmcs01.msr_bitmap;  in msr_write_intercepted_l01()
498 		return !!test_bit(msr, msr_bitmap + 0x800 / f);  in msr_write_intercepted_l01()
501 		return !!test_bit(msr, msr_bitmap + 0xc00 / f);  in msr_write_intercepted_l01()
548 static inline void enable_x2apic_msr_intercepts(unsigned long *msr_bitmap)  in enable_x2apic_msr_intercepts()  argument
555 		msr_bitmap[word] = ~0;  in enable_x2apic_msr_intercepts()
556 		msr_bitmap[word + (0x800 / sizeof(long))] = ~0;  in enable_x2apic_msr_intercepts()
569 	unsigned long *msr_bitmap_l0 = to_vmx(vcpu)->nested.vmcs02.msr_bitmap;  in nested_vmx_prepare_msr_bitmap()
577 	if (kvm_vcpu_map(vcpu, gpa_to_gfn(vmcs12->msr_bitmap), map))  in nested_vmx_prepare_msr_bitmap()
1696 		vmcs12->msr_bitmap = evmcs->msr_bitmap;  in copy_enlightened_to_vmcs12()
2191 		vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap));  in prepare_vmcs02_constant_state()
5684 	bitmap = vmcs12->msr_bitmap;  in nested_vmx_exit_handled_msr()