Searched refs:msrpm (Results 1 – 1 of 1) sorted by relevance
685 void *msrpm = is_guest_mode(&svm->vcpu) ? svm->nested.msrpm : svm->msrpm; in msr_write_intercepted() local687 return svm_test_msr_bitmap_write(msrpm, msr); in msr_write_intercepted()693 void *msrpm = svm->msrpm; in svm_set_intercept_for_msr() local698 svm_clear_msr_bitmap_read(msrpm, msr); in svm_set_intercept_for_msr()700 svm_set_msr_bitmap_read(msrpm, msr); in svm_set_intercept_for_msr()705 svm_clear_msr_bitmap_write(msrpm, msr); in svm_set_intercept_for_msr()707 svm_set_msr_bitmap_write(msrpm, msr); in svm_set_intercept_for_msr()752 void svm_vcpu_free_msrpm(void *msrpm) in svm_vcpu_free_msrpm() argument754 __free_pages(virt_to_page(msrpm), get_order(MSRPM_SIZE)); in svm_vcpu_free_msrpm()1199 control->msrpm_base_pa = __sme_set(__pa(svm->msrpm)); in init_vmcb()[all …]