Lines Matching refs:msr_bitmap
464 if (CC(!page_address_valid(vcpu, vmcs12->msr_bitmap))) in nested_vmx_check_msr_bitmap_controls()
487 unsigned long *msr_bitmap; in msr_write_intercepted_l01() local
493 msr_bitmap = to_vmx(vcpu)->vmcs01.msr_bitmap; in msr_write_intercepted_l01()
496 return !!test_bit(msr, msr_bitmap + 0x800 / f); in msr_write_intercepted_l01()
499 return !!test_bit(msr, msr_bitmap + 0xc00 / f); in msr_write_intercepted_l01()
546 static inline void enable_x2apic_msr_intercepts(unsigned long *msr_bitmap) { in enable_x2apic_msr_intercepts() argument
552 msr_bitmap[word] = ~0; in enable_x2apic_msr_intercepts()
553 msr_bitmap[word + (0x800 / sizeof(long))] = ~0; in enable_x2apic_msr_intercepts()
566 unsigned long *msr_bitmap_l0 = to_vmx(vcpu)->nested.vmcs02.msr_bitmap; in nested_vmx_prepare_msr_bitmap()
574 if (kvm_vcpu_map(vcpu, gpa_to_gfn(vmcs12->msr_bitmap), map)) in nested_vmx_prepare_msr_bitmap()
1507 vmcs12->msr_bitmap = evmcs->msr_bitmap; in copy_enlightened_to_vmcs12()
1999 vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap)); in prepare_vmcs02_constant_state()
5187 bitmap = vmcs12->msr_bitmap; in nested_vmx_exit_handled_msr()