Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/mce/core.c do_machine_check() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 6726241011609034752
PARAM_VALUE 1 final 6475255455371194368
PARAM_VALUE 1 final->m.bank 0-63
PARAM_VALUE 1 final->m.cpu 0
PARAM_VALUE 1 final->m.cpuid 1
PARAM_VALUE 1 final->m.extcpu 0
PARAM_VALUE 1 final->m.pad 0
PARAM_VALUE 2 *exp 0-255
BUF_SIZE 0 msg 26
STR_LEN 0 msg 25
TERMINATED 0 msg 1
MEM_ZERO 1 final
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 final->m.addr 0
HOST_DATA 1 final->m.bank 0-63[c]
HOST_DATA 1 final->m.cpuid 1
HOST_DATA 1 final->m.cs 0
HOST_DATA 1 final->m.finished 0
HOST_DATA 1 final->m.inject_flags 0
HOST_DATA 1 final->m.ip 0
HOST_DATA 1 final->m.ipid 0
HOST_DATA 1 final->m.kflags 0-u64max
HOST_DATA 1 final->m.mcgcap 0
HOST_DATA 1 final->m.mcgstatus 0
HOST_DATA 1 final->m.misc 0
HOST_DATA 1 final->m.pad 0
HOST_DATA 1 final->m.severity 0
HOST_DATA 1 final->m.status 0
HOST_DATA 1 final->m.synd 0
HOST_DATA 1 final->m.time 0
HOST_DATA 1 final->m.tsc 0
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c do_machine_check() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 4807458687825375232
PARAM_VALUE 1 final 6475255455371194368
PARAM_VALUE 1 final->m.apicid 0
PARAM_VALUE 1 final->m.cpuvendor 0
PARAM_VALUE 1 final->m.cs 0
PARAM_VALUE 1 final->m.ip 0
PARAM_VALUE 1 final->m.ipid 0
PARAM_VALUE 1 final->m.kflags 0
PARAM_VALUE 1 final->m.mcgcap 0
PARAM_VALUE 1 final->m.ppin 0
PARAM_VALUE 1 final->m.synd 0
PARAM_VALUE 1 final->m.time 0
PARAM_VALUE 1 final->m.tsc 0
PARAM_VALUE 1 final->vendor.amd.synd1 0
PARAM_VALUE 1 final->vendor.amd.synd2 0
PARAM_VALUE 2 *exp 0-255
BUF_SIZE 0 msg 35
STR_LEN 0 msg 34
TERMINATED 0 msg 1
MEM_ZERO 1 final
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 final->m.addr 0
HOST_DATA 1 final->m.bank 0-63[c]
HOST_DATA 1 final->m.cpuid 1
HOST_DATA 1 final->m.cs 0
HOST_DATA 1 final->m.finished 0
HOST_DATA 1 final->m.inject_flags 0
HOST_DATA 1 final->m.ip 0
HOST_DATA 1 final->m.ipid 0
HOST_DATA 1 final->m.kflags 0
HOST_DATA 1 final->m.mcgcap 0
HOST_DATA 1 final->m.mcgstatus 0[c]
HOST_DATA 1 final->m.misc 0
HOST_DATA 1 final->m.pad 0
HOST_DATA 1 final->m.severity 0
HOST_DATA 1 final->m.status 0
HOST_DATA 1 final->m.synd 0
HOST_DATA 1 final->m.time 0
HOST_DATA 1 final->m.tsc 0
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c do_machine_check() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 6764527338829991936
PARAM_VALUE 1 final 6475255455371194368
PARAM_VALUE 1 final->m.apicid 0
PARAM_VALUE 1 final->m.cpuvendor 0
PARAM_VALUE 1 final->m.cs 0
PARAM_VALUE 1 final->m.ip 0
PARAM_VALUE 1 final->m.ipid 0
PARAM_VALUE 1 final->m.kflags 0
PARAM_VALUE 1 final->m.mcgcap 0
PARAM_VALUE 1 final->m.ppin 0
PARAM_VALUE 1 final->m.synd 0
PARAM_VALUE 1 final->m.time 0
PARAM_VALUE 1 final->m.tsc 0
PARAM_VALUE 1 final->vendor.amd.synd1 0
PARAM_VALUE 1 final->vendor.amd.synd2 0
PARAM_VALUE 2 *exp 0-255
BUF_SIZE 0 msg 27
STR_LEN 0 msg 26
TERMINATED 0 msg 1
MEM_ZERO 1 final
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 final->m.addr 0
HOST_DATA 1 final->m.bank 0-63[c]
HOST_DATA 1 final->m.cpuid 1
HOST_DATA 1 final->m.cs 0
HOST_DATA 1 final->m.finished 0
HOST_DATA 1 final->m.inject_flags 0
HOST_DATA 1 final->m.ip 0
HOST_DATA 1 final->m.ipid 0
HOST_DATA 1 final->m.kflags 0
HOST_DATA 1 final->m.mcgcap 0
HOST_DATA 1 final->m.mcgstatus 0[c]
HOST_DATA 1 final->m.misc 0
HOST_DATA 1 final->m.pad 0
HOST_DATA 1 final->m.severity 0
HOST_DATA 1 final->m.status 0
HOST_DATA 1 final->m.synd 0
HOST_DATA 1 final->m.time 0
HOST_DATA 1 final->m.tsc 0
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c do_machine_check() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 4190052627438686208
PARAM_VALUE 1 final 6475255455371194368
PARAM_VALUE 1 final->m.apicid 0
PARAM_VALUE 1 final->m.cpuvendor 0
PARAM_VALUE 1 final->m.cs 0
PARAM_VALUE 1 final->m.ip 0
PARAM_VALUE 1 final->m.ipid 0
PARAM_VALUE 1 final->m.kflags 0
PARAM_VALUE 1 final->m.mcgcap 0
PARAM_VALUE 1 final->m.ppin 0
PARAM_VALUE 1 final->m.synd 0
PARAM_VALUE 1 final->m.time 0
PARAM_VALUE 1 final->m.tsc 0
PARAM_VALUE 1 final->vendor.amd.synd1 0
PARAM_VALUE 1 final->vendor.amd.synd2 0
PARAM_VALUE 2 *exp 0-255
BUF_SIZE 0 msg 28
STR_LEN 0 msg 27
TERMINATED 0 msg 1
MEM_ZERO 1 final
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 final->m.addr 0-u64max
HOST_DATA 1 final->m.bank 0-63[c]
HOST_DATA 1 final->m.cpuid 1
HOST_DATA 1 final->m.cs 0
HOST_DATA 1 final->m.finished 0
HOST_DATA 1 final->m.inject_flags 0
HOST_DATA 1 final->m.ip 0
HOST_DATA 1 final->m.ipid 0
HOST_DATA 1 final->m.kflags 0
HOST_DATA 1 final->m.mcgcap 0
HOST_DATA 1 final->m.mcgstatus 0
HOST_DATA 1 final->m.misc 0-u64max
HOST_DATA 1 final->m.pad 0
HOST_DATA 1 final->m.severity 0-255
HOST_DATA 1 final->m.status 0-u64max
HOST_DATA 1 final->m.synd 0
HOST_DATA 1 final->m.time 0
HOST_DATA 1 final->m.tsc 0
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c mce_reign() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 7539349125134143488
PARAM_VALUE 2 *exp 0-255
BUF_SIZE 0 msg 20
STR_LEN 0 msg 19
TERMINATED 0 msg 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c mce_reign() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 7612354523132329984
PARAM_VALUE 1 final 0
PARAM_VALUE 2 exp 0
BUF_SIZE 0 msg 40
STR_LEN 0 msg 39
TERMINATED 0 msg 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c mce_timed_out() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 420257662237229056,2064746557584183296,3105882417468542976,4307658760149716992
PARAM_VALUE 1 final 0
PARAM_VALUE 2 exp 0
BUF_SIZE 0 msg 58,61,63-64
BUF_SIZE 0 msg 58,61,63-64
DATA_SOURCE 0 msg $1
TERMINATED 0 msg 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c queue_task_work() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 5228062727311163392
PARAM_VALUE 1 final 6475255455371194368
PARAM_VALUE 1 final->m.apicid 0
PARAM_VALUE 1 final->m.cpuvendor 0
PARAM_VALUE 1 final->m.cs 0
PARAM_VALUE 1 final->m.ip 0
PARAM_VALUE 1 final->m.ipid 0
PARAM_VALUE 1 final->m.kflags 0
PARAM_VALUE 1 final->m.mcgcap 0
PARAM_VALUE 1 final->m.ppin 0
PARAM_VALUE 1 final->m.synd 0
PARAM_VALUE 1 final->m.time 0
PARAM_VALUE 1 final->m.tsc 0
PARAM_VALUE 1 final->vendor.amd.synd1 0
PARAM_VALUE 1 final->vendor.amd.synd2 0
BUF_SIZE 0 msg 62
DATA_SOURCE 1 final $0
DATA_SOURCE 2 exp $1
STR_LEN 0 msg 61
TERMINATED 0 msg 1
MEM_ZERO 1 final
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 final->m.addr 0-u64max
HOST_DATA 1 final->m.bank 0[c]
HOST_DATA 1 final->m.cpuid 1
HOST_DATA 1 final->m.cs 0
HOST_DATA 1 final->m.finished 0
HOST_DATA 1 final->m.inject_flags 0
HOST_DATA 1 final->m.ip 0
HOST_DATA 1 final->m.ipid 0
HOST_DATA 1 final->m.kflags 0
HOST_DATA 1 final->m.mcgcap 0
HOST_DATA 1 final->m.mcgstatus 0
HOST_DATA 1 final->m.misc 0-u64max
HOST_DATA 1 final->m.pad 0
HOST_DATA 1 final->m.severity 0-255
HOST_DATA 1 final->m.status 0-u64max
HOST_DATA 1 final->m.synd 0
HOST_DATA 1 final->m.time 0
HOST_DATA 1 final->m.tsc 0
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c queue_task_work() -> mce_panic()

Type Parameter Key Value
PARAM_VALUE 0 msg 4522727866152325120
PARAM_VALUE 1 final 6475255455371194368
PARAM_VALUE 1 final->m.apicid 0
PARAM_VALUE 1 final->m.cpuvendor 0
PARAM_VALUE 1 final->m.cs 0
PARAM_VALUE 1 final->m.ip 0
PARAM_VALUE 1 final->m.ipid 0
PARAM_VALUE 1 final->m.kflags 0
PARAM_VALUE 1 final->m.mcgcap 0
PARAM_VALUE 1 final->m.ppin 0
PARAM_VALUE 1 final->m.synd 0
PARAM_VALUE 1 final->m.time 0
PARAM_VALUE 1 final->m.tsc 0
PARAM_VALUE 1 final->vendor.amd.synd1 0
PARAM_VALUE 1 final->vendor.amd.synd2 0
BUF_SIZE 0 msg 51
DATA_SOURCE 1 final $0
DATA_SOURCE 2 exp $1
STR_LEN 0 msg 50
TERMINATED 0 msg 1
MEM_ZERO 1 final
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 final->m.addr 0-u64max
HOST_DATA 1 final->m.bank 0-63[c]
HOST_DATA 1 final->m.cpuid 1
HOST_DATA 1 final->m.cs 0
HOST_DATA 1 final->m.finished 0
HOST_DATA 1 final->m.inject_flags 0
HOST_DATA 1 final->m.ip 0
HOST_DATA 1 final->m.ipid 0
HOST_DATA 1 final->m.kflags 0
HOST_DATA 1 final->m.mcgcap 0
HOST_DATA 1 final->m.mcgstatus 0,2-u64max
HOST_DATA 1 final->m.misc 0-u64max
HOST_DATA 1 final->m.pad 0
HOST_DATA 1 final->m.severity 0-255
HOST_DATA 1 final->m.status 0-u64max
HOST_DATA 1 final->m.synd 0
HOST_DATA 1 final->m.time 0
HOST_DATA 1 final->m.tsc 0
HALF_LOCKED2 flags