921 	unsigned long *msr_bitmap;  in msr_write_intercepted()  local
927 	msr_bitmap = vmx->loaded_vmcs->msr_bitmap;  in msr_write_intercepted()
930 		return !!test_bit(msr, msr_bitmap + 0x800 / f);  in msr_write_intercepted()
933 		return !!test_bit(msr, msr_bitmap + 0xc00 / f);  in msr_write_intercepted()
2702 	if (loaded_vmcs->msr_bitmap)  in free_loaded_vmcs()
2703 		free_page((unsigned long)loaded_vmcs->msr_bitmap);  in free_loaded_vmcs()
2721 		loaded_vmcs->msr_bitmap = (unsigned long *)  in alloc_loaded_vmcs()
2723 		if (!loaded_vmcs->msr_bitmap)  in alloc_loaded_vmcs()
2725 		memset(loaded_vmcs->msr_bitmap, 0xff, PAGE_SIZE);  in alloc_loaded_vmcs()
2733 			evmcs->hv_enlightenments_control.msr_bitmap = 1;  in alloc_loaded_vmcs()
3758 static void vmx_clear_msr_bitmap_read(ulong *msr_bitmap, u32 msr)  in vmx_clear_msr_bitmap_read()  argument
3763 		__clear_bit(msr, msr_bitmap + 0x000 / f);  in vmx_clear_msr_bitmap_read()
3765 		__clear_bit(msr & 0x1fff, msr_bitmap + 0x400 / f);  in vmx_clear_msr_bitmap_read()
3768 static void vmx_clear_msr_bitmap_write(ulong *msr_bitmap, u32 msr)  in vmx_clear_msr_bitmap_write()  argument
3773 		__clear_bit(msr, msr_bitmap + 0x800 / f);  in vmx_clear_msr_bitmap_write()
3775 		__clear_bit(msr & 0x1fff, msr_bitmap + 0xc00 / f);  in vmx_clear_msr_bitmap_write()
3778 static void vmx_set_msr_bitmap_read(ulong *msr_bitmap, u32 msr)  in vmx_set_msr_bitmap_read()  argument
3783 		__set_bit(msr, msr_bitmap + 0x000 / f);  in vmx_set_msr_bitmap_read()
3785 		__set_bit(msr & 0x1fff, msr_bitmap + 0x400 / f);  in vmx_set_msr_bitmap_read()
3788 static void vmx_set_msr_bitmap_write(ulong *msr_bitmap, u32 msr)  in vmx_set_msr_bitmap_write()  argument
3793 		__set_bit(msr, msr_bitmap + 0x800 / f);  in vmx_set_msr_bitmap_write()
3795 		__set_bit(msr & 0x1fff, msr_bitmap + 0xc00 / f);  in vmx_set_msr_bitmap_write()
3802 	unsigned long *msr_bitmap = vmx->vmcs01.msr_bitmap;  in vmx_disable_intercept_for_msr()  local
3827 		vmx_set_msr_bitmap_read(msr_bitmap, msr);  in vmx_disable_intercept_for_msr()
3833 		vmx_set_msr_bitmap_write(msr_bitmap, msr);  in vmx_disable_intercept_for_msr()
3838 		vmx_clear_msr_bitmap_read(msr_bitmap, msr);  in vmx_disable_intercept_for_msr()
3841 		vmx_clear_msr_bitmap_write(msr_bitmap, msr);  in vmx_disable_intercept_for_msr()
3848 	unsigned long *msr_bitmap = vmx->vmcs01.msr_bitmap;  in vmx_enable_intercept_for_msr()  local
3872 		vmx_set_msr_bitmap_read(msr_bitmap, msr);  in vmx_enable_intercept_for_msr()
3875 		vmx_set_msr_bitmap_write(msr_bitmap, msr);  in vmx_enable_intercept_for_msr()
3904 	unsigned long *msr_bitmap = to_vmx(vcpu)->vmcs01.msr_bitmap;  in vmx_reset_x2apic_msrs()  local
3914 		msr_bitmap[read_idx] = read_intercept;  in vmx_reset_x2apic_msrs()
3915 		msr_bitmap[write_idx] = ~0ul;  in vmx_reset_x2apic_msrs()
4396 		vmcs_write64(MSR_BITMAP, __pa(vmx->vmcs01.msr_bitmap));  in init_vmcs()