Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/cacheinfo.c intel_cacheinfo_0x2() -> intel_cacheinfo_done()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->extended_cpuid_level 2147483648
PARAM_VALUE 0 c->x86_cache_size 0
DATA_SOURCE 0 c $0
TERMINATED 0 c->x86_model_id 1
TERMINATED 0 c->x86_vendor_id 1
MEM_ZERO 0 &c->cpuid
NOCHECK_CALL
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->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.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 4
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
HOST_DATA 0 c->x86_phys_bits 21-35[c]
HOST_DATA 0 c->x86_power s32min-s32max
HOST_DATA 0 c->x86_reserved 0-255
HOST_DATA 0 c->x86_stepping 0[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

arch/x86/kernel/cpu/cacheinfo.c intel_cacheinfo_0x4() -> intel_cacheinfo_done()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->extended_cpuid_level 2147483648
PARAM_VALUE 0 c->x86_cache_size 0
PARAM_VALUE 1 l3 0-4194303
PARAM_VALUE 2 l2 0-4194303
PARAM_VALUE 3 l1i 0-4194303
PARAM_VALUE 4 l1d 0-4194303
CAPPED_DATA 0 c->topo.l2c_id 1
CAPPED_DATA 0 c->topo.llc_id 1
DATA_SOURCE 0 c $0
FUZZY_MAX 1 l3 0
FUZZY_MAX 2 l2 0
FUZZY_MAX 3 l1i 0
FUZZY_MAX 4 l1d 0
PARAM_COMPARE 1 l3 == $2
PARAM_COMPARE 1 l3 == $3
PARAM_COMPARE 1 l3 == $4
PARAM_COMPARE 2 l2 == $1
PARAM_COMPARE 2 l2 == $3
PARAM_COMPARE 2 l2 == $4
PARAM_COMPARE 3 l1i == $1
PARAM_COMPARE 3 l1i == $2
PARAM_COMPARE 3 l1i == $4
PARAM_COMPARE 4 l1d == $1
PARAM_COMPARE 4 l1d == $2
PARAM_COMPARE 4 l1d == $3
TERMINATED 0 c->x86_model_id 1
TERMINATED 0 c->x86_vendor_id 1
MEM_ZERO 0 &c->cpuid
NOCHECK_CALL
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->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.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[c]
HOST_DATA 0 c->topo.llc_id 0-u32max[c]
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 4
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
HOST_DATA 0 c->x86_phys_bits 21-35[c]
HOST_DATA 0 c->x86_power s32min-s32max
HOST_DATA 0 c->x86_reserved 0-255
HOST_DATA 0 c->x86_stepping 0[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