Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 2 index 0
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 4,2147483677
PARAM_VALUE 2 index 1-s32max
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 7
PARAM_VALUE 2 index 1
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 7
PARAM_VALUE 2 index 2
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 13
PARAM_VALUE 2 index 1
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 13
PARAM_VALUE 2 index 2-18
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 18
PARAM_VALUE 2 index 1
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 20
PARAM_VALUE 2 index 1-s32max
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
CAPPED_DATA 2 index 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 29
PARAM_VALUE 2 index 1-s32max
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
CAPPED_DATA 2 index 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 30
PARAM_VALUE 2 index 1
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent

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

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 16,4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 function 36
PARAM_VALUE 2 index 1
BUF_SIZE 0 array->entries 40-10240
CAPPED_DATA 0 array->maxnent 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 function $1 [m]
CONSTRAINT 0 array->nent <3938
PREEMPT_ADD <- disables preempt
USER_DATA 0 array->maxnent 2-256[c]
NO_OVERFLOW_SIMPLE 0 array->maxnent