Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/cpu/mce/core.c mca_bsp_init() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 549185049237938176
PARAM_VALUE 0 c->x86_capability 4096-ptr_max
CAPPED_DATA 0 c->x86_stepping 1
DATA_SOURCE 0 c $0
MEM_ZERO 0 &c->cpuid
HOST_DATA 0 c->amd_unused 0-7
HOST_DATA 0 c->booted_cores 0-u16max
HOST_DATA 0 c->cpu_index 0
HOST_DATA 0 c->cpuid.leaves.leaf_0x0_0_info.nr_entries 0-u32max
HOST_DATA 0 c->cpuid.leaves.leaf_0x1_0_info.nr_entries 0-u32max
HOST_DATA 0 c->cpuid_level 0
HOST_DATA 0 c->extended_cpuid_level 2147483648
HOST_DATA 0 c->initialized 0-1
HOST_DATA 0 c->intel_platform_id 0-7
HOST_DATA 0 c->loops_per_jiffy 0-u64max
HOST_DATA 0 c->microcode 0-u32max
HOST_DATA 0 c->ppin 0-u64max
HOST_DATA 0 c->smt_active 0-1
HOST_DATA 0 c->topo.amd_native_model_id 0-15
HOST_DATA 0 c->topo.amd_node_id 0-u32max
HOST_DATA 0 c->topo.amd_num_processors 0-u16max
HOST_DATA 0 c->topo.amd_power_eff_ranking 0-255
HOST_DATA 0 c->topo.amd_type 0-15
HOST_DATA 0 c->topo.apicid 0-u32max
HOST_DATA 0 c->topo.core_id 0-u32max
HOST_DATA 0 c->topo.cpu_type 0-u32max
HOST_DATA 0 c->topo.cu_id 0-u32max
HOST_DATA 0 c->topo.die_id 0-u32max
HOST_DATA 0 c->topo.hw_cpu_type 0-u32max
HOST_DATA 0 c->topo.initial_apicid 0-u32max
HOST_DATA 0 c->topo.intel_native_model_id 0-16777215
HOST_DATA 0 c->topo.intel_type 0-255
HOST_DATA 0 c->topo.l2c_id 0-u32max
HOST_DATA 0 c->topo.llc_id 0-u32max
HOST_DATA 0 c->topo.logical_core_id 0-u32max
HOST_DATA 0 c->topo.logical_die_id 0-u32max
HOST_DATA 0 c->topo.logical_pkg_id 0-u32max
HOST_DATA 0 c->topo.pkg_id 0-u32max
HOST_DATA 0 c->x86 0-255
HOST_DATA 0 c->x86_cache_alignment 64
HOST_DATA 0 c->x86_cache_bits 36
HOST_DATA 0 c->x86_cache_max_rmid s32min-s32max
HOST_DATA 0 c->x86_cache_mbm_width_offset (-1)-255
HOST_DATA 0 c->x86_cache_occ_scale s32min-s32max
HOST_DATA 0 c->x86_cache_size 0-u32max
HOST_DATA 0 c->x86_capability_alignment 0-u64max
HOST_DATA 0 c->x86_clflush_size 64
HOST_DATA 0 c->x86_model 0-255
HOST_DATA 0 c->x86_phys_bits 0-36,229-255
HOST_DATA 0 c->x86_power s32min-s32max
HOST_DATA 0 c->x86_reserved 0-255
HOST_DATA 0 c->x86_stepping 0-15[c]
HOST_DATA 0 c->x86_tlbsize s32min-s32max
HOST_DATA 0 c->x86_vendor 0,2,5,9-10,255
HOST_DATA 0 c->x86_vfm 0-u32max
HOST_DATA 0 c->x86_virt_bits 48
LOCK2 irq

arch/x86/kernel/cpu/mce/core.c mce_cpu_restart() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 5793163395279147008
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c mce_disable_cmci() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 5793163395279147008
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c mce_disable_cpu() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 5793163395279147008
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/kernel/cpu/mce/core.c mce_enable_ce() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 5793163395279147008
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c mce_reenable_cpu() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 5793163395279147008
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

arch/x86/kernel/cpu/mce/core.c mce_timer_fn() -> mce_available()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/cpu/mce/core.c mcheck_cpu_clear() -> mce_available()

Type Parameter Key Value
DATA_SOURCE 0 c $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
HALF_LOCKED2 flags

arch/x86/kernel/cpu/mce/core.c mcheck_cpu_init() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->x86_capability 4096-ptr_max
DATA_SOURCE 0 c $0
TERMINATED 0 c->x86_model_id 1
TERMINATED 0 c->x86_vendor_id 1
MEM_ZERO 0 &c->cpuid
HOST_DATA 0 c->amd_unused 0-255
HOST_DATA 0 c->booted_cores 0-u16max
HOST_DATA 0 c->cpu_index 0
HOST_DATA 0 c->cpuid.leaves.leaf_0x0_0_info.nr_entries 0-u32max
HOST_DATA 0 c->cpuid.leaves.leaf_0x1_0_info.nr_entries 0-u32max
HOST_DATA 0 c->cpuid_level 0
HOST_DATA 0 c->extended_cpuid_level 2147483648
HOST_DATA 0 c->initialized 0-1
HOST_DATA 0 c->intel_platform_id 0-255
HOST_DATA 0 c->loops_per_jiffy 0-u64max
HOST_DATA 0 c->microcode 0-u32max
HOST_DATA 0 c->ppin 0-u64max
HOST_DATA 0 c->smt_active 0-1
HOST_DATA 0 c->topo.amd_native_model_id 0-15
HOST_DATA 0 c->topo.amd_node_id 0-u32max
HOST_DATA 0 c->topo.amd_num_processors 0-u16max
HOST_DATA 0 c->topo.amd_power_eff_ranking 0-255
HOST_DATA 0 c->topo.amd_type 0-15
HOST_DATA 0 c->topo.apicid 0-u32max
HOST_DATA 0 c->topo.core_id 0-u32max
HOST_DATA 0 c->topo.cpu_type 0-u32max
HOST_DATA 0 c->topo.cu_id 0-u32max
HOST_DATA 0 c->topo.die_id 0-u32max
HOST_DATA 0 c->topo.hw_cpu_type 0-u32max
HOST_DATA 0 c->topo.initial_apicid 0-u32max
HOST_DATA 0 c->topo.intel_native_model_id 0-16777215
HOST_DATA 0 c->topo.intel_type 0-255
HOST_DATA 0 c->topo.l2c_id 0-u32max
HOST_DATA 0 c->topo.llc_id 0-u32max
HOST_DATA 0 c->topo.logical_core_id 0-u32max
HOST_DATA 0 c->topo.logical_die_id 0-u32max
HOST_DATA 0 c->topo.logical_pkg_id 0-u32max
HOST_DATA 0 c->topo.pkg_id 0-u32max
HOST_DATA 0 c->x86 0-255
HOST_DATA 0 c->x86_cache_max_rmid s32min-s32max
HOST_DATA 0 c->x86_cache_mbm_width_offset s32min-s32max
HOST_DATA 0 c->x86_cache_occ_scale s32min-s32max
HOST_DATA 0 c->x86_cache_size 0
HOST_DATA 0 c->x86_capability_alignment 0-u64max
HOST_DATA 0 c->x86_model 0-255
HOST_DATA 0 c->x86_phys_bits 0-36,229-255[c]
HOST_DATA 0 c->x86_power s32min-s32max
HOST_DATA 0 c->x86_reserved 0-255
HOST_DATA 0 c->x86_stepping 0-15
HOST_DATA 0 c->x86_tlbsize s32min-s32max
HOST_DATA 0 c->x86_vendor 0,2,5,9-10,255
HOST_DATA 0 c->x86_vfm 1549-u32max

arch/x86/kernel/cpu/mce/core.c mcheck_init_device() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 549185049237938176

arch/x86/kernel/cpu/mce/intel.c cmci_recheck() -> mce_available()

Type Parameter Key Value
PARAM_VALUE 0 c 5793163395279147008
RX_PATH
TASK_NOT_RUNNING