Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/mce/core.c __mc_scan_banks() -> mce_read_aux()

Type Parameter Key Value
PARAM_VALUE 0 err 6475255455371194368
PARAM_VALUE 0 err->m.addr 0
PARAM_VALUE 0 err->m.bank 0-63
PARAM_VALUE 0 err->m.cpu 0
PARAM_VALUE 0 err->m.cpuid 1
PARAM_VALUE 0 err->m.extcpu 0
PARAM_VALUE 0 err->m.misc 0
PARAM_VALUE 0 err->m.pad 0
PARAM_VALUE 1 i 0-63
CAPPED_DATA 1 i 1
DATA_SOURCE 0 err $0
MEM_ZERO 0 err
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 err->m.addr 0
HOST_DATA 0 err->m.bank 0[c]
HOST_DATA 0 err->m.cpuid 1
HOST_DATA 0 err->m.cs 0-255
HOST_DATA 0 err->m.finished 0-255
HOST_DATA 0 err->m.inject_flags 0-255
HOST_DATA 0 err->m.ip 0
HOST_DATA 0 err->m.ipid 0-u64max
HOST_DATA 0 err->m.kflags 0-u64max
HOST_DATA 0 err->m.mcgcap 0-u64max
HOST_DATA 0 err->m.mcgstatus 0,2[c]
HOST_DATA 0 err->m.misc 0
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-u64max
HOST_DATA 0 err->m.time 0-u64max
HOST_DATA 0 err->m.tsc 0-u64max
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 err 149333294703489024
PARAM_VALUE 0 err->m.addr 0
PARAM_VALUE 0 err->m.bank 0-63
PARAM_VALUE 0 err->m.cpu 0
PARAM_VALUE 0 err->m.cpuid 1
PARAM_VALUE 0 err->m.cs 0
PARAM_VALUE 0 err->m.extcpu 0
PARAM_VALUE 0 err->m.ip 0
PARAM_VALUE 0 err->m.kflags 256
PARAM_VALUE 0 err->m.misc 0
PARAM_VALUE 0 err->m.pad 0
PARAM_VALUE 0 err->m.synd 0
PARAM_VALUE 0 err->vendor.amd.synd1 0
PARAM_VALUE 0 err->vendor.amd.synd2 0
PARAM_VALUE 1 i 0-63
CAPPED_DATA 1 i 1
MEM_ZERO 0 err
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 err->m.addr 0
HOST_DATA 0 err->m.bank 0[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 256[c]
HOST_DATA 0 err->m.mcgcap 0
HOST_DATA 0 err->m.mcgstatus 0
HOST_DATA 0 err->m.misc 0
HOST_DATA 0 err->m.pad 0
HOST_DATA 0 err->m.severity 0
HOST_DATA 0 err->m.synd 0
HOST_DATA 0 err->m.time 0
HOST_DATA 0 err->m.tsc 0
HALF_LOCKED2 flags
HALF_LOCKED2 global &cmci_poll_lock

arch/x86/kernel/cpu/mce/core.c mce_no_way_out() -> mce_read_aux()

Type Parameter Key Value
PARAM_VALUE 0 err 6475255455371194368
PARAM_VALUE 0 err->m.addr 0
PARAM_VALUE 0 err->m.bank 0-63
PARAM_VALUE 0 err->m.cpu 0
PARAM_VALUE 0 err->m.cpuid 1
PARAM_VALUE 0 err->m.extcpu 0
PARAM_VALUE 0 err->m.ipid 0
PARAM_VALUE 0 err->m.misc 0
PARAM_VALUE 0 err->m.pad 0
PARAM_VALUE 0 err->m.synd 0
PARAM_VALUE 0 err->vendor.amd.synd1 0
PARAM_VALUE 0 err->vendor.amd.synd2 0
PARAM_VALUE 1 i 0-63
CAPPED_DATA 1 i 1
DATA_SOURCE 0 err $0
MEM_ZERO 0 err
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 err->m.addr 0
HOST_DATA 0 err->m.bank 0
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
HOST_DATA 0 err->m.pad 0
HOST_DATA 0 err->m.severity 0
HOST_DATA 0 err->m.status 0
HOST_DATA 0 err->m.synd 0
HOST_DATA 0 err->m.time 0
HOST_DATA 0 err->m.tsc 0
HALF_LOCKED2 flags