Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 39
NOCHECK_CALL
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &src_kvm->lock

arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 55
NOCHECK_CALL
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &src_kvm->lock

arch/x86/kvm/svm/sev.c svm_set_intercept() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 143-144,148,152
DATA_SOURCE 1 bit $1
NOCHECK_CALL
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &src_kvm->lock

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 32
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 33
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 34
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 35
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 36
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 37
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 38
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 48
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 49
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 50
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 51
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 52
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 53
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 54
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 39
NOCHECK_CALL

arch/x86/kvm/svm/svm.c set_dr_intercepts() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 55
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 control 0,4096-ptr_max
PARAM_VALUE 1 bit 65,67,70,77-78,81-82
NOCHECK_CALL

arch/x86/kvm/svm/svm.c svm_set_intercept() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 0,4096-ptr_max
PARAM_VALUE 1 bit 0,3-4,16,19-20,24,96-98,100-101,111,114-116,118-125,127-139,141-142,162,165-166
DATA_SOURCE 1 bit $1
NOCHECK_CALL

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

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

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

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

arch/x86/kvm/svm/avic.c svm_set_intercept() -> vmcb_set_intercept()

Type Parameter Key Value
PARAM_VALUE 0 control 18379471554275704832,18446612682070032384
PARAM_VALUE 1 bit 24
DATA_SOURCE 1 bit $1
NOCHECK_CALL