Lines Matching defs:msr_bitmap
466 if (CC(!page_address_valid(vcpu, vmcs12->msr_bitmap)))
489 unsigned long *msr_bitmap;
495 msr_bitmap = to_vmx(vcpu)->vmcs01.msr_bitmap;
498 return !!test_bit(msr, msr_bitmap + 0x800 / f);
501 return !!test_bit(msr, msr_bitmap + 0xc00 / f);
548 static inline void enable_x2apic_msr_intercepts(unsigned long *msr_bitmap)
555 msr_bitmap[word] = ~0;
556 msr_bitmap[word + (0x800 / sizeof(long))] = ~0;
569 unsigned long *msr_bitmap_l0 = to_vmx(vcpu)->nested.vmcs02.msr_bitmap;
577 if (kvm_vcpu_map(vcpu, gpa_to_gfn(vmcs12->msr_bitmap), map))
1696 vmcs12->msr_bitmap = evmcs->msr_bitmap;
1865 * evmcs->msr_bitmap = vmcs12->msr_bitmap;
2191 vmcs_write64(MSR_BITMAP, __pa(vmx->nested.vmcs02.msr_bitmap));
5723 bitmap = vmcs12->msr_bitmap;