Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/amd.c init_amd() -> init_amd_k5()

Type Parameter Key Value
PARAM_VALUE 0 c 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
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->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->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 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-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