Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c check_selective_cr0_intercepted() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 101

arch/x86/kvm/svm/svm.c nested_exit_on_intr() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 96

arch/x86/kvm/svm/svm.c nested_exit_on_nmi() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 97

arch/x86/kvm/svm/svm.c nested_exit_on_smi() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 98

arch/x86/kvm/svm/svm.c svm_check_intercept() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 16

arch/x86/kvm/svm/svm.c svm_check_intercept() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 101

arch/x86/kvm/svm/nested.c nested_exit_on_init() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 99

arch/x86/kvm/svm/nested.c nested_exit_on_intr() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 96

arch/x86/kvm/svm/nested.c nested_exit_on_nmi() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 97

arch/x86/kvm/svm/nested.c nested_exit_on_smi() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 98

arch/x86/kvm/svm/nested.c nested_svm_exit_handled_msr() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 124

arch/x86/kvm/svm/nested.c nested_svm_intercept() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 0-63,96-122,125-1023,1025-u32max

arch/x86/kvm/svm/nested.c nested_svm_intercept_ioio() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 123

arch/x86/kvm/svm/nested.c nested_svm_merge_msrpm() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 124

arch/x86/kvm/svm/nested.c nested_svm_triple_fault() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 127

arch/x86/kvm/svm/nested.c nested_sync_control_from_vmcb02() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 100

arch/x86/kvm/svm/nested.c nested_vmcb02_recalc_intercepts() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 119
USER_DATA 0 control->asid 0-u32max
USER_DATA 0 control->clean 0-u32max
USER_DATA 0 control->erap_ctl 0-255
USER_DATA 0 control->event_inj 0-u32max[c]
USER_DATA 0 control->event_inj_err 0-u32max
USER_DATA 0 control->exit_code 0-u64max
USER_DATA 0 control->exit_info_1 0-u64max
USER_DATA 0 control->exit_info_2 0-u64max
USER_DATA 0 control->exit_int_info 0-u32max
USER_DATA 0 control->exit_int_info_err 0-u32max
USER_DATA 0 control->int_ctl 0-u32max
USER_DATA 0 control->int_state 0-1[c]
USER_DATA 0 control->int_vector 0-255[c]
USER_DATA 0 control->iopm_base_pa 0,4096-u64max[c]
USER_DATA 0 control->misc_ctl 0-u64max
USER_DATA 0 control->misc_ctl2 0-u64max
USER_DATA 0 control->msrpm_base_pa 0,4096-u64max[c]
USER_DATA 0 control->nested_cr3 0-u64max
USER_DATA 0 control->next_rip 0-u64max
USER_DATA 0 control->pause_filter_count 0-u16max
USER_DATA 0 control->pause_filter_thresh 0-u16max
USER_DATA 0 control->tlb_ctl 0-7[c]
USER_DATA 0 control->tsc_offset 0-u64max

arch/x86/kvm/svm/nested.c nested_vmcb_check_controls() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 128
DATA_SOURCE 0 control $1
USER_DATA 0 control->asid 0-u32max
USER_DATA 0 control->clean 0-u32max
USER_DATA 0 control->erap_ctl 0-255
USER_DATA 0 control->event_inj 0-u32max[c]
USER_DATA 0 control->event_inj_err 0-u32max
USER_DATA 0 control->exit_code 0-u64max
USER_DATA 0 control->exit_info_1 0-u64max
USER_DATA 0 control->exit_info_2 0-u64max
USER_DATA 0 control->exit_int_info 0-u32max
USER_DATA 0 control->exit_int_info_err 0-u32max
USER_DATA 0 control->hv_enlightenments.hv_vm_id 0-u64max
USER_DATA 0 control->hv_enlightenments.hv_vp_id 0-u32max
USER_DATA 0 control->hv_enlightenments.partition_assist_page 0-u64max
USER_DATA 0 control->hv_enlightenments.reserved 0-u64max
USER_DATA 0 control->int_ctl 0-u32max
USER_DATA 0 control->int_state 0-1[c]
USER_DATA 0 control->int_vector 0-255[c]
USER_DATA 0 control->iopm_base_pa 0,4096-u64max[c]
USER_DATA 0 control->misc_ctl 0-u64max
USER_DATA 0 control->misc_ctl2 0-u64max
USER_DATA 0 control->msrpm_base_pa 0,4096-u64max[c]
USER_DATA 0 control->nested_cr3 0-u64max
USER_DATA 0 control->next_rip 0-u64max
USER_DATA 0 control->pause_filter_count 0-u16max
USER_DATA 0 control->pause_filter_thresh 0-u16max
USER_DATA 0 control->tlb_ctl 0-7[c]
USER_DATA 0 control->tsc_offset 0-u64max

arch/x86/kvm/svm/nested.c nested_vmcb_check_controls() -> vmcb12_is_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 4096-ptr_max
PARAM_VALUE 1 bit 97
DATA_SOURCE 0 control $1
BIT_INFO 0 control->int_ctl 0x4000000,0xffffffff
USER_DATA 0 control->asid 1-u32max
USER_DATA 0 control->clean 0-u32max
USER_DATA 0 control->erap_ctl 0-255
USER_DATA 0 control->event_inj 0-u32max[c]
USER_DATA 0 control->event_inj_err 0-u32max
USER_DATA 0 control->exit_code 0-u64max
USER_DATA 0 control->exit_info_1 0-u64max
USER_DATA 0 control->exit_info_2 0-u64max
USER_DATA 0 control->exit_int_info 0-u32max
USER_DATA 0 control->exit_int_info_err 0-u32max
USER_DATA 0 control->hv_enlightenments.hv_vm_id 0-u64max
USER_DATA 0 control->hv_enlightenments.hv_vp_id 0-u32max
USER_DATA 0 control->hv_enlightenments.partition_assist_page 0-u64max
USER_DATA 0 control->hv_enlightenments.reserved 0-u64max
USER_DATA 0 control->int_ctl 0-u32max
USER_DATA 0 control->int_state 0-1[c]
USER_DATA 0 control->int_vector 0-255[c]
USER_DATA 0 control->iopm_base_pa 0,4096-u64max[c]
USER_DATA 0 control->misc_ctl 0-u64max
USER_DATA 0 control->misc_ctl2 0-u64max
USER_DATA 0 control->msrpm_base_pa 0,4096-u64max[c]
USER_DATA 0 control->nested_cr3 0-u64max
USER_DATA 0 control->next_rip 0-u64max
USER_DATA 0 control->pause_filter_count 0-u16max
USER_DATA 0 control->pause_filter_thresh 0-u16max
USER_DATA 0 control->tlb_ctl 0-7[c]
USER_DATA 0 control->tsc_offset 0-u64max