Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
arch/x86/kvm/svm/sev.c sev_es_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3221225731 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/sev.c sev_es_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3221291316 |
| PARAM_VALUE | 2 | type | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/sev.c sev_es_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3488 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/sev.c svm_disable_intercept_for_msr() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 631,3221225600,3221291312 |
| PARAM_VALUE | 2 | type | 3 |
| PARAM_VALUE | 3 | set | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr | $1 |
| DATA_SOURCE | 2 | type | $2 |
| HARD_MAX | 1 | msr | 3221291312 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_disable_intercept_for_msr() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | msr | 72,231-232,372,3221225601-3221225604,3221225728-3221225730 |
| PARAM_VALUE | 2 | type | 1,3 |
| PARAM_VALUE | 3 | set | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr | $1 |
| DATA_SOURCE | 2 | type | $2 |
| HARD_MAX | 1 | msr | 3221225730 |
| HARD_MAX | 2 | type | 3 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_enable_intercept_for_msr() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3221291521-3221291647 |
| PARAM_VALUE | 2 | type | 3 |
| PARAM_VALUE | 3 | set | 1 |
| CAPPED_DATA | 1 | msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | msr | $1 |
| DATA_SOURCE | 2 | type | $2 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_lbr_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| PARAM_VALUE | 1 | msr | 475 |
| PARAM_VALUE | 2 | type | 3 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/svm/svm.c svm_recalc_lbr_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| PARAM_VALUE | 1 | msr | 476 |
| PARAM_VALUE | 2 | type | 3 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/svm/svm.c svm_recalc_lbr_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| PARAM_VALUE | 1 | msr | 477 |
| PARAM_VALUE | 2 | type | 3 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/svm/svm.c svm_recalc_lbr_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| PARAM_VALUE | 1 | msr | 478 |
| PARAM_VALUE | 2 | type | 3 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/svm/svm.c svm_recalc_lbr_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | msr | 473 |
| PARAM_VALUE | 2 | type | 3 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| BUF_SIZE | 0 | vcpu | (-1),7720 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 73 |
| PARAM_VALUE | 2 | type | 2 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 267 |
| PARAM_VALUE | 2 | type | 2 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 72 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 72 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 374 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 373 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 1696 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 1698 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 1700 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 1701 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 1702 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 1703 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_pmu_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3221291012-3221291015 |
| PARAM_VALUE | 2 | type | 3 |
| CAPPED_DATA | 1 | msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_pmu_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 1-u32max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | type | 3 |
| CAPPED_DATA | 1 | msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_pmu_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3221226241 |
| PARAM_VALUE | 2 | type | 3 |
| CAPPED_DATA | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 3 | set | r kvm_need_perf_global_ctrl_intercept |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_pmu_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3221226240 |
| PARAM_VALUE | 2 | type | 3 |
| CAPPED_DATA | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 3 | set | r kvm_need_perf_global_ctrl_intercept |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_pmu_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3221226242 |
| PARAM_VALUE | 2 | type | 3 |
| CAPPED_DATA | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 3 | set | r kvm_need_perf_global_ctrl_intercept |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_pmu_msr_intercepts() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msr | 3221226243 |
| PARAM_VALUE | 2 | type | 3 |
| CAPPED_DATA | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 3 | set | r kvm_need_perf_global_ctrl_intercept |
| NOCHECK_CALL |
arch/x86/kvm/svm/avic.c avic_set_x2apic_msr_interception() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msr | 2048-2111 |
| PARAM_VALUE | 2 | type | 1 |
| BUF_SIZE | 0 | vcpu | 7720 |
| CAPPED_DATA | 1 | msr | 1 |
| DATA_SOURCE | 3 | set | $1 |
| NOCHECK_CALL |
arch/x86/kvm/svm/avic.c avic_set_x2apic_msr_interception() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msr | 2056 |
| PARAM_VALUE | 2 | type | 2 |
| BUF_SIZE | 0 | vcpu | 7720 |
| DATA_SOURCE | 3 | set | $1 |
| NOCHECK_CALL |
arch/x86/kvm/svm/avic.c avic_set_x2apic_msr_interception() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msr | 2059 |
| PARAM_VALUE | 2 | type | 2 |
| BUF_SIZE | 0 | vcpu | 7720 |
| DATA_SOURCE | 3 | set | $1 |
| NOCHECK_CALL |
arch/x86/kvm/svm/avic.c avic_set_x2apic_msr_interception() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msr | 2111 |
| PARAM_VALUE | 2 | type | 2 |
| BUF_SIZE | 0 | vcpu | 7720 |
| DATA_SOURCE | 3 | set | $1 |
| NOCHECK_CALL |
arch/x86/kvm/svm/avic.c avic_set_x2apic_msr_interception() -> svm_set_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msr | 2096 |
| PARAM_VALUE | 2 | type | 2 |
| BUF_SIZE | 0 | vcpu | 7720 |
| DATA_SOURCE | 3 | set | $1 |
| NOCHECK_CALL |