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() -> queue_task_work()

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

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

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

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

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