Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/cpu.c smt_cmdline_disable() -> cpu_smt_disable()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/bugs.c l1tf_apply_mitigation() -> cpu_smt_disable()

Type Parameter Key Value
PARAM_VALUE 0 force 0
NOCHECK_CALL

arch/x86/kernel/cpu/bugs.c l1tf_apply_mitigation() -> cpu_smt_disable()

Type Parameter Key Value
PARAM_VALUE 0 force 1
NOCHECK_CALL

arch/x86/kernel/cpu/bugs.c mds_apply_mitigation() -> cpu_smt_disable()

Type Parameter Key Value
PARAM_VALUE 0 force 0
NOCHECK_CALL

arch/x86/kernel/cpu/bugs.c mmio_apply_mitigation() -> cpu_smt_disable()

Type Parameter Key Value
PARAM_VALUE 0 force 0
NOCHECK_CALL

arch/x86/kernel/cpu/bugs.c retbleed_apply_mitigation() -> cpu_smt_disable()

Type Parameter Key Value
PARAM_VALUE 0 force 0
NOCHECK_CALL

arch/x86/kernel/cpu/bugs.c taa_apply_mitigation() -> cpu_smt_disable()

Type Parameter Key Value
PARAM_VALUE 0 force 0
NOCHECK_CALL