Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/mce/core.c machine_check_poll() -> should_log_poll_error()

Type Parameter Key Value
PARAM_VALUE 0 flags 0-1,6
PARAM_VALUE 1 err 149333294703489024
PARAM_VALUE 1 err->m.addr 0
PARAM_VALUE 1 err->m.bank 0-63
PARAM_VALUE 1 err->m.cpu 0
PARAM_VALUE 1 err->m.cpuid 1
PARAM_VALUE 1 err->m.cs 0
PARAM_VALUE 1 err->m.extcpu 0
PARAM_VALUE 1 err->m.ip 0
PARAM_VALUE 1 err->m.misc 0
PARAM_VALUE 1 err->m.pad 0
PARAM_VALUE 1 err->m.synd 0
DATA_SOURCE 0 flags $0
MEM_ZERO 1 err
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 err->m.addr 0
HOST_DATA 1 err->m.bank 0[c]
HOST_DATA 1 err->m.cpuid 1
HOST_DATA 1 err->m.cs 0
HOST_DATA 1 err->m.finished 0
HOST_DATA 1 err->m.inject_flags 0
HOST_DATA 1 err->m.ip 0
HOST_DATA 1 err->m.ipid 0-u64max
HOST_DATA 1 err->m.kflags 0-u64max
HOST_DATA 1 err->m.mcgcap 0
HOST_DATA 1 err->m.mcgstatus 0
HOST_DATA 1 err->m.misc 0
HOST_DATA 1 err->m.pad 0
HOST_DATA 1 err->m.severity 0-255
HOST_DATA 1 err->m.status 0-u64max
HOST_DATA 1 err->m.synd 0
HOST_DATA 1 err->m.time 0
HOST_DATA 1 err->m.tsc 0-u64max
HALF_LOCKED2 flags
HALF_LOCKED2 global &cmci_poll_lock