Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 2 files as a function:

Referenced in 19 files:

Smatch caller information:

arch/x86/xen/time.c xen_tsc_safe_clocksource() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 3,1073741827,1073742083-1073807362
PARAM_VALUE 1 count 0
PARAM_VALUE 2 eax 8995115442059669504
PARAM_VALUE 3 ebx 5238177309700911104
PARAM_VALUE 4 ecx 3068829381002743808
PARAM_VALUE 5 edx 1327882218531946496
NOCHECK_CALL

arch/x86/kernel/cpuid.c cpuid_smp_cpuid() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 2 eax 4096-ptr_max
PARAM_VALUE 3 ebx 4096-ptr_max
PARAM_VALUE 4 ecx 4096-ptr_max
PARAM_VALUE 5 edx 4096-ptr_max
NOCHECK_CALL

arch/x86/kernel/cpu/sgx/driver.c sgx_drv_init() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 18
PARAM_VALUE 1 count 0
PARAM_VALUE 2 eax 6633144468742868992
PARAM_VALUE 3 ebx 4283806107117629440
PARAM_VALUE 4 ecx 7838103739252899840
PARAM_VALUE 5 edx 4315511478965932032
NOCHECK_CALL

arch/x86/kernel/cpu/sgx/driver.c sgx_drv_init() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 18
PARAM_VALUE 1 count 1
PARAM_VALUE 2 eax 6633144468742868992
PARAM_VALUE 2 *eax 18
PARAM_VALUE 3 ebx 4283806107117629440
PARAM_VALUE 4 ecx 7838103739252899840
PARAM_VALUE 4 *ecx 0
PARAM_VALUE 5 edx 4315511478965932032
NOCHECK_CALL
HOST_DATA 2 *eax 18
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0
HOST_DATA 5 *edx 0-u32max

arch/x86/kernel/cpu/resctrl/monitor.c rdt_get_l3_mon_config() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 2147483680
PARAM_VALUE 1 count 3
PARAM_VALUE 2 eax 2570474251721850880
PARAM_VALUE 3 ebx 7803265371982512128
PARAM_VALUE 4 ecx 9124873785837010944
PARAM_VALUE 5 edx 1591950328764940288
NOCHECK_CALL

arch/x86/kernel/cpu/resctrl/monitor.c rdt_get_l3_mon_config() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 2147483680
PARAM_VALUE 1 count 5
PARAM_VALUE 2 eax 2570474251721850880
PARAM_VALUE 3 ebx 7803265371982512128
PARAM_VALUE 4 ecx 9124873785837010944
PARAM_VALUE 5 edx 1591950328764940288
NOCHECK_CALL
HOST_DATA 2 *eax 2147483680
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 3
HOST_DATA 5 *edx 0-u32max

arch/x86/kernel/cpu/scattered.c init_scattered_cpuid_features() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 0,6-7,15-16,18
PARAM_VALUE 1 count 0-3
PARAM_VALUE 2 eax 2636481519304245248
PARAM_VALUE 3 ebx 2636481519304245252
PARAM_VALUE 4 ecx 2636481519304245256
PARAM_VALUE 5 edx 2636481519304245260
BUF_SIZE 2 eax 16
BUF_SIZE 3 ebx 12
BUF_SIZE 4 ecx 8
CAPPED_DATA 0 op 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 irq

arch/x86/kvm/vmx/sgx.c sgx_intercept_encls_ecreate() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 18
PARAM_VALUE 1 count 0
PARAM_VALUE 2 eax 5676077467100823552
PARAM_VALUE 3 ebx 9210060674475819008
PARAM_VALUE 4 ecx 5645428205483290624
PARAM_VALUE 5 edx 6354849295388045312
NOCHECK_CALL

arch/x86/kvm/vmx/sgx.c sgx_intercept_encls_ecreate() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 18
PARAM_VALUE 1 count 1
PARAM_VALUE 2 eax 5676077467100823552
PARAM_VALUE 2 *eax 18
PARAM_VALUE 3 ebx 9210060674475819008
PARAM_VALUE 4 ecx 5645428205483290624
PARAM_VALUE 4 *ecx 0
PARAM_VALUE 5 edx 6354849295388045312
NOCHECK_CALL
HOST_DATA 2 *eax 18
HOST_DATA 4 *ecx 0

arch/x86/kvm/cpuid.c do_host_cpuid() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 1 count 0-s32max
PARAM_VALUE 2 eax 4096-ptr_max
PARAM_VALUE 3 ebx 4096-ptr_max
PARAM_VALUE 4 ecx 4096-ptr_max
PARAM_VALUE 5 edx 4096-ptr_max
CAPPED_DATA 1 count 1
DATA_SOURCE 0 op $1
DATA_SOURCE 1 count $2
MEM_ZERO 2 eax
MEM_ZERO 3 ebx
MEM_ZERO 4 ecx
MEM_ZERO 5 edx
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/cpuid.c kvm_init_xstate_sizes() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 2-19
PARAM_VALUE 2 eax 4096-ptr_max
PARAM_VALUE 3 ebx 4096-ptr_max
PARAM_VALUE 4 ecx 4096-ptr_max
PARAM_VALUE 5 edx 1098737477791653888
FUZZY_MAX 1 count 19
HARD_MAX 1 count 19
NOCHECK_CALL
HOST_DATA 5 *edx 0-u32max
UNITS 1 count unit_array_size

arch/x86/kvm/cpuid.c raw_cpuid_get() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 1,6-7,13,18,30,36,2147483649,2147483655-2147483656,2147483658,2147483679,2147483681-2147483682,2156265473
PARAM_VALUE 1 count 0-2
PARAM_VALUE 2 eax 1094455787702435852
PARAM_VALUE 3 ebx 1094455787702435856
PARAM_VALUE 4 ecx 1094455787702435860
PARAM_VALUE 5 edx 1094455787702435864
CAPPED_DATA 0 op 1
CONSTRAINT 0 op <=95
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/events/intel/pt.c pt_pmu_hw_init() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 20
PARAM_VALUE 1 count 0-1
PARAM_VALUE 2 eax 4096-ptr_max
PARAM_VALUE 3 ebx 4096-ptr_max
PARAM_VALUE 4 ecx 4096-ptr_max
PARAM_VALUE 5 edx 4096-ptr_max
NOCHECK_CALL

arch/x86/kernel/cpu/cacheinfo.c amd_fill_cpuid4_info() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 2147483677
PARAM_VALUE 5 edx 42409599444680704
DATA_SOURCE 1 count $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/cacheinfo.c find_num_cache_leaves() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 4,2147483677
PARAM_VALUE 1 count 0-s32max
PARAM_VALUE 2 eax 8837541084534255616
PARAM_VALUE 3 ebx 5969901343837519872
PARAM_VALUE 4 ecx 245031316362379264
PARAM_VALUE 5 edx 3158361591089344512
FUZZY_MAX 0 op 2147483677
BIT_INFO 0 op 0x4,0xffffffff
HARD_MAX 0 op 2147483677
NOCHECK_CALL
HOST_DATA 2 *eax 4,2147483677
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0-s32max
HOST_DATA 5 *edx 0-u32max

arch/x86/kernel/cpu/cacheinfo.c intel_fill_cpuid4_info() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 4
PARAM_VALUE 1 count 0-s32max
PARAM_VALUE 5 edx 7893596878198738944
CAPPED_DATA 1 count 1
DATA_SOURCE 1 count $0
FUZZY_MAX 1 count 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/events/intel/core.c update_pmu_cap_from_perfmonext() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 35
PARAM_VALUE 1 count 1
PARAM_VALUE 2 eax 6045503030257127424
PARAM_VALUE 3 ebx 3856756496546394112
PARAM_VALUE 4 ecx 3538124284212875264
PARAM_VALUE 4 *ecx 0
PARAM_VALUE 5 edx 3069602235998187520
NOCHECK_CALL
HOST_DATA 4 *ecx 0
HOST_DATA 5 *edx 0-u32max

arch/x86/events/intel/core.c update_pmu_cap_from_perfmonext() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 35
PARAM_VALUE 1 count 2
PARAM_VALUE 2 eax 6045503030257127424
PARAM_VALUE 3 ebx 3856756496546394112
PARAM_VALUE 4 ecx 3538124284212875264
PARAM_VALUE 4 *ecx 0-1
PARAM_VALUE 5 edx 3069602235998187520
NOCHECK_CALL
HOST_DATA 2 *eax 35
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0-1
HOST_DATA 5 *edx 0-u32max

arch/x86/events/intel/core.c update_pmu_cap_from_perfmonext() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 35
PARAM_VALUE 1 count 4
PARAM_VALUE 2 eax 6045503030257127424
PARAM_VALUE 3 ebx 3856756496546394112
PARAM_VALUE 4 ecx 3538124284212875264
PARAM_VALUE 4 *ecx 0-2
PARAM_VALUE 5 edx 3069602235998187520
NOCHECK_CALL
HOST_DATA 2 *eax 35
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0-2
HOST_DATA 5 *edx 0-u32max

arch/x86/events/intel/core.c update_pmu_cap_from_perfmonext() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 35
PARAM_VALUE 1 count 5
PARAM_VALUE 2 eax 6045503030257127424
PARAM_VALUE 2 *eax 35
PARAM_VALUE 3 ebx 3856756496546394112
PARAM_VALUE 4 ecx 3538124284212875264
PARAM_VALUE 4 *ecx 4
PARAM_VALUE 5 edx 3069602235998187520
NOCHECK_CALL
HOST_DATA 2 *eax 35
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 4
HOST_DATA 5 *edx 0-u32max

arch/x86/kernel/cpu/common.c get_cpu_cap() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 7
PARAM_VALUE 1 count 0
PARAM_VALUE 2 eax 2769126187403943936
PARAM_VALUE 2 *eax 1
PARAM_VALUE 3 ebx 7750275985192075264
PARAM_VALUE 4 ecx 5202029213621465088
PARAM_VALUE 4 *ecx 0
PARAM_VALUE 5 edx 8375146356030050304
RX_PATH
NOCHECK_CALL
HOST_DATA 2 *eax 1
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0
HOST_DATA 5 *edx 0-u32max
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c get_cpu_cap() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 7
PARAM_VALUE 1 count 1
PARAM_VALUE 2 eax 2769126187403943936
PARAM_VALUE 2 *eax 7
PARAM_VALUE 3 ebx 7750275985192075264
PARAM_VALUE 4 ecx 5202029213621465088
PARAM_VALUE 4 *ecx 0
PARAM_VALUE 5 edx 8375146356030050304
RX_PATH
NOCHECK_CALL
HOST_DATA 2 *eax 7
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0
HOST_DATA 5 *edx 0-u32max
HALF_LOCKED2 irq

arch/x86/kernel/cpu/common.c get_cpu_cap() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 1
PARAM_VALUE 2 eax 2769126187403943936
PARAM_VALUE 2 *eax 7
PARAM_VALUE 3 ebx 7750275985192075264
PARAM_VALUE 4 ecx 5202029213621465088
PARAM_VALUE 4 *ecx 0-1
PARAM_VALUE 5 edx 8375146356030050304
RX_PATH
NOCHECK_CALL
HOST_DATA 2 *eax 7
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0-1
HOST_DATA 5 *edx 0-u32max
HALF_LOCKED2 irq

arch/x86/kernel/cpu/sgx/main.c sgx_page_cache_init() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 18
PARAM_VALUE 1 count 2-9
PARAM_VALUE 2 eax 7550700809897213952
PARAM_VALUE 3 ebx 222772198875361280
PARAM_VALUE 4 ecx 3119074487342440448
PARAM_VALUE 5 edx 4472501924081000448
NOCHECK_CALL
HOST_DATA 2 *eax 18
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 2-9
HOST_DATA 5 *edx 0-u32max

arch/x86/coco/tdx/tdx.c tdx_early_init() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 33
PARAM_VALUE 1 count 0
PARAM_VALUE 2 eax 6815486102872403968
PARAM_VALUE 3 ebx 7413367568565022720
PARAM_VALUE 4 ecx 7413367568565022728
PARAM_VALUE 4 *ecx 0
PARAM_VALUE 5 edx 7413367568565022724
BUF_SIZE 3 ebx 12
BUF_SIZE 5 edx 8
NOCHECK_CALL

arch/x86/kernel/fpu/xstate.c __xstate_dump_leaves() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 0-29
PARAM_VALUE 2 eax 4867318221439578112
PARAM_VALUE 3 ebx 6064313364006465536
PARAM_VALUE 4 ecx 843997904109928448
PARAM_VALUE 5 edx 7019159883324661760
FUZZY_MAX 1 count 29
HARD_MAX 1 count 29
NOCHECK_CALL
HOST_DATA 2 *eax 13
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0-29
HOST_DATA 5 *edx 0-u32max

arch/x86/kernel/fpu/xstate.c check_xtile_data_against_struct() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 29
PARAM_VALUE 1 count 0
PARAM_VALUE 2 eax 1074952982810472448
PARAM_VALUE 3 ebx 2925973389670670336
PARAM_VALUE 4 ecx 5939523663068626944
PARAM_VALUE 5 edx 8666318266371571712
NOCHECK_CALL

arch/x86/kernel/fpu/xstate.c check_xtile_data_against_struct() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 29
PARAM_VALUE 1 count 1-29
PARAM_VALUE 2 eax 4725689067648901120
PARAM_VALUE 3 ebx 2925973389670670336
PARAM_VALUE 4 ecx 8666318266371571712
PARAM_VALUE 5 edx 8666318266371571712
NOCHECK_CALL
HOST_DATA 2 *eax 29
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0-u32max
HOST_DATA 5 *edx 0-u32max

arch/x86/kernel/fpu/xstate.c fpu__init_system_xstate() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 0
PARAM_VALUE 2 eax 2457767362223083520
PARAM_VALUE 3 ebx 4342672005609545728
PARAM_VALUE 4 ecx 951203954084134912
PARAM_VALUE 5 edx 2919298122551140352
NOCHECK_CALL

arch/x86/kernel/fpu/xstate.c fpu__init_system_xstate() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 1
PARAM_VALUE 2 eax 2457767362223083520
PARAM_VALUE 2 *eax 13
PARAM_VALUE 3 ebx 4342672005609545728
PARAM_VALUE 4 ecx 951203954084134912
PARAM_VALUE 4 *ecx 0
PARAM_VALUE 5 edx 2919298122551140352
NOCHECK_CALL
HOST_DATA 2 *eax 13
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0
HOST_DATA 5 *edx 0-u32max

arch/x86/kernel/fpu/xstate.c get_compacted_size() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 1
PARAM_VALUE 2 eax 2102130000441143296
PARAM_VALUE 3 ebx 4250071369970692096
PARAM_VALUE 4 ecx 8136818980668616704
PARAM_VALUE 5 edx 2785917519399518208
NOCHECK_CALL

arch/x86/kernel/fpu/xstate.c get_xsave_size_user() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 0
PARAM_VALUE 2 eax 3046983534424481792
PARAM_VALUE 3 ebx 4500670574349438976
PARAM_VALUE 4 ecx 1551784451310403584
PARAM_VALUE 5 edx 818463309651107840
NOCHECK_CALL

arch/x86/kernel/fpu/xstate.c setup_xstate_cache() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 0-63
PARAM_VALUE 2 eax 5046078148188983296
PARAM_VALUE 3 ebx 1910087162009579520
PARAM_VALUE 4 ecx 5855884084108734464
PARAM_VALUE 5 edx 2066783130745925632
CAPPED_DATA 1 count 1
DATA_SOURCE 1 count r find_next_bit
NOCHECK_CALL
HOST_DATA 2 *eax 13
HOST_DATA 3 *ebx 0-u32max
HOST_DATA 4 *ecx 0-63
HOST_DATA 5 *edx 0-u32max

arch/x86/kernel/fpu/xstate.c xfeature_size() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 13
PARAM_VALUE 1 count 0-63
PARAM_VALUE 2 eax 5477425230122295296
PARAM_VALUE 3 ebx 7597252036930764800
PARAM_VALUE 4 ecx 5150538378476990464
PARAM_VALUE 5 edx 3242620775481917440
CAPPED_DATA 1 count 1
DATA_SOURCE 1 count $0
FUZZY_MAX 1 count 63
NOCHECK_CALL

arch/x86/kernel/cpu/resctrl/core.c __get_mem_config_intel() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 16
PARAM_VALUE 1 count 3
PARAM_VALUE 3 ebx 3472162372587384832
PARAM_VALUE 4 ecx 282169261304864768
NOCHECK_CALL

arch/x86/kernel/cpu/resctrl/core.c __rdt_get_mem_config_amd() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 2147483680
PARAM_VALUE 1 count 1-2
PARAM_VALUE 2 eax 3491231722610204672
PARAM_VALUE 3 ebx 2526834156302192640
PARAM_VALUE 4 ecx 6318695899362816000
PARAM_VALUE 5 edx 1493643571324186624
NOCHECK_CALL

arch/x86/kernel/cpu/resctrl/core.c rdt_get_cache_alloc_cfg() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 16
PARAM_VALUE 1 count 1-2
PARAM_VALUE 3 ebx 3762859880889139200
DATA_SOURCE 1 count $0
HARD_MAX 1 count 2
NOCHECK_CALL

arch/x86/kernel/cpu/resctrl/core.c resctrl_cpu_detect() -> cpuid_count()

Type Parameter Key Value
PARAM_VALUE 0 op 15
PARAM_VALUE 1 count 1
PARAM_VALUE 2 eax 5057329831542280192
PARAM_VALUE 3 ebx 2407622491200315392
PARAM_VALUE 4 ecx 375961881086894080
PARAM_VALUE 5 edx 8295253263013568512
NOCHECK_CALL
LOCK2 irq