Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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

arch/x86/kvm/cpuid.c __do_cpuid_func() -> cpuid_entry_override()

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