Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c init_vmcb() -> set_exception_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 14
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> set_exception_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 6
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> set_exception_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 18
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> set_exception_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 17
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> set_exception_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 1
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c init_vmcb() -> set_exception_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 13
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_set_efer() -> set_exception_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.initialized 1
PARAM_VALUE 0 svm->nested.msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.vmcb02.ptr 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 13
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_update_exception_bitmap() -> set_exception_intercept()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 bit 3
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL