Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/microcode/core.c load_late_stop_cpus() -> microcode_check()

Type Parameter Key Value
PARAM_VALUE 0 prev_info 6596835466199257088
PARAM_VALUE 0 prev_info->extended_cpuid_level 2147483648
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 prev_info->amd_unused 0-255
HOST_DATA 0 prev_info->booted_cores 0-u16max
HOST_DATA 0 prev_info->cpu_index 0-u16max
HOST_DATA 0 prev_info->cpuid.leaves.leaf_0x0_0_info.nr_entries 0-u32max
HOST_DATA 0 prev_info->cpuid.leaves.leaf_0x1_0_info.nr_entries 0-u32max
HOST_DATA 0 prev_info->cpuid_level 0
HOST_DATA 0 prev_info->extended_cpuid_level 2147483648
HOST_DATA 0 prev_info->initialized 0-1
HOST_DATA 0 prev_info->intel_platform_id 0-255
HOST_DATA 0 prev_info->loops_per_jiffy 0-u64max
HOST_DATA 0 prev_info->microcode 0-u32max
HOST_DATA 0 prev_info->ppin 0-u64max
HOST_DATA 0 prev_info->smt_active 0-1
HOST_DATA 0 prev_info->topo.amd_native_model_id 0-15
HOST_DATA 0 prev_info->topo.amd_node_id 0-u32max
HOST_DATA 0 prev_info->topo.amd_num_processors 0-u16max
HOST_DATA 0 prev_info->topo.amd_power_eff_ranking 0-255
HOST_DATA 0 prev_info->topo.amd_type 0-15
HOST_DATA 0 prev_info->topo.apicid 0-u32max
HOST_DATA 0 prev_info->topo.core_id 0-u32max
HOST_DATA 0 prev_info->topo.cpu_type 0-u32max
HOST_DATA 0 prev_info->topo.cu_id 0-u32max
HOST_DATA 0 prev_info->topo.die_id 0-u32max
HOST_DATA 0 prev_info->topo.hw_cpu_type 0-u32max
HOST_DATA 0 prev_info->topo.initial_apicid 0-u32max
HOST_DATA 0 prev_info->topo.intel_native_model_id 0-16777215
HOST_DATA 0 prev_info->topo.intel_type 0-255
HOST_DATA 0 prev_info->topo.l2c_id 0-u32max
HOST_DATA 0 prev_info->topo.llc_id 0-u32max
HOST_DATA 0 prev_info->topo.logical_core_id 0-u32max
HOST_DATA 0 prev_info->topo.logical_die_id 0-u32max
HOST_DATA 0 prev_info->topo.logical_pkg_id 0-u32max
HOST_DATA 0 prev_info->topo.pkg_id 0-u32max
HOST_DATA 0 prev_info->x86 0-255
HOST_DATA 0 prev_info->x86_cache_alignment s32min-s32max
HOST_DATA 0 prev_info->x86_cache_bits 0-255
HOST_DATA 0 prev_info->x86_cache_max_rmid s32min-s32max
HOST_DATA 0 prev_info->x86_cache_mbm_width_offset s32min-s32max
HOST_DATA 0 prev_info->x86_cache_occ_scale s32min-s32max
HOST_DATA 0 prev_info->x86_cache_size 0-u32max
HOST_DATA 0 prev_info->x86_capability_alignment 0-u64max
HOST_DATA 0 prev_info->x86_clflush_size 0-u16max
HOST_DATA 0 prev_info->x86_model 0-255
HOST_DATA 0 prev_info->x86_phys_bits 0-255
HOST_DATA 0 prev_info->x86_power s32min-s32max
HOST_DATA 0 prev_info->x86_reserved 0-255
HOST_DATA 0 prev_info->x86_stepping 0-255
HOST_DATA 0 prev_info->x86_tlbsize s32min-s32max
HOST_DATA 0 prev_info->x86_vendor 0-255
HOST_DATA 0 prev_info->x86_vfm 0-u32max
HOST_DATA 0 prev_info->x86_virt_bits 0-255
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex