Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
0 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-2147483677 |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
4 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-2147483677 |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->eax |
0-2 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
9 |
| CAPPED_DATA |
0 |
entry->eax |
1 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-1[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->eax |
0-2 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
16 |
| CAPPED_DATA |
0 |
entry->eax |
1 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-1[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->eax |
0-2 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
18 |
| CAPPED_DATA |
0 |
entry->eax |
1 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-1[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->function |
7 |
| PARAM_VALUE |
0 |
entry->index |
1 |
| PARAM_VALUE |
1 |
leaf |
12 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
7[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
1 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
7 |
| HOST_DATA |
0 |
entry->index |
1[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->function |
7 |
| PARAM_VALUE |
0 |
entry->index |
1 |
| PARAM_VALUE |
1 |
leaf |
29 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
7[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
1 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
7 |
| HOST_DATA |
0 |
entry->index |
1[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->function |
7 |
| PARAM_VALUE |
0 |
entry->index |
1 |
| PARAM_VALUE |
1 |
leaf |
23 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
7[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
1 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
7 |
| HOST_DATA |
0 |
entry->index |
1[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->function |
7 |
| PARAM_VALUE |
0 |
entry->index |
2 |
| PARAM_VALUE |
1 |
leaf |
26 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
7[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
2 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
7 |
| HOST_DATA |
0 |
entry->index |
2[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->function |
13 |
| PARAM_VALUE |
0 |
entry->index |
1 |
| PARAM_VALUE |
1 |
leaf |
10 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
13 |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
1 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
13 |
| HOST_DATA |
0 |
entry->index |
1[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
22 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-2147483677 |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->function |
30 |
| PARAM_VALUE |
0 |
entry->index |
1 |
| PARAM_VALUE |
1 |
leaf |
30 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
30[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
1 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
30 |
| HOST_DATA |
0 |
entry->index |
1[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->eax |
0-1 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
27 |
| CAPPED_DATA |
0 |
entry->eax |
1 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->function |
36 |
| PARAM_VALUE |
0 |
entry->index |
1 |
| PARAM_VALUE |
1 |
leaf |
31 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
36[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
1 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
36 |
| HOST_DATA |
0 |
entry->index |
1[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->ebx |
0-4026597375 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
1 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| BIT_INFO |
0 |
entry->ebx |
0x0,0xf000ffff |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-2147483677 |
| HOST_DATA |
0 |
entry->ebx |
0-4026597375[c] |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->ebx |
0-4026597375 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
6 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| BIT_INFO |
0 |
entry->ebx |
0x0,0xf000ffff |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-2147483677 |
| HOST_DATA |
0 |
entry->ebx |
0-4026597375[c] |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
24 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-2147483677 |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0 |
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->eax |
0-16777215 |
| PARAM_VALUE |
0 |
entry->ecx |
0-61695 |
| PARAM_VALUE |
0 |
entry->edx |
0 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
13 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| BIT_INFO |
0 |
entry->ecx |
0x0,0xf0ff |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->eax |
0-2097151[c] |
| HOST_DATA |
0 |
entry->ebx |
0-u32max |
| HOST_DATA |
0 |
entry->ecx |
0[c] |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->eax |
1 |
| PARAM_VALUE |
0 |
entry->ebx |
8 |
| PARAM_VALUE |
0 |
entry->ecx |
0 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
15 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
entry->edx |
0-u32max |
| HOST_DATA |
0 |
entry->flags |
0-1[c] |
| HOST_DATA |
0 |
entry->function |
0-2147483677 |
| HOST_DATA |
0 |
entry->index |
0[c] |
| HOST_DATA |
0 |
*entry |
s64min-s64max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
19 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->edx |
0 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
20 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->ebx |
0,65536-16711680 |
| PARAM_VALUE |
0 |
entry->edx |
0 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
28 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| FUZZY_MAX |
0 |
entry->ebx |
0 |
| BIT_INFO |
0 |
entry->ebx |
0x0,0xff0000 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->ecx |
0 |
| PARAM_VALUE |
0 |
entry->edx |
0 |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
25 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
entry->index |
0 |
| PARAM_VALUE |
1 |
leaf |
5 |
| DATA_SOURCE |
0 |
entry |
r do_host_cpuid |
| PREEMPT_ADD |
|
|
<- disables preempt |
| NOCHECK_CALL |
|
|
|