Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/cpuid.c get_cpuid_func() -> do_cpuid_func()

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 type 3221794309,3221794313
DATA_SOURCE 0 array $0
DATA_SOURCE 1 func $1
DATA_SOURCE 2 type $2
USER_DATA 0 array->maxnent 2-256[c]
USER_DATA 2 type 3221794309,3221794313
NO_OVERFLOW_SIMPLE 0 array->maxnent

arch/x86/kvm/cpuid.c get_cpuid_func() -> do_cpuid_func()

Type Parameter Key Value
PARAM_VALUE 0 array 8098637921837428736
PARAM_VALUE 0 array->entries 4096-ptr_max
PARAM_VALUE 0 array->maxnent 1-256
PARAM_VALUE 0 array->nent s32min-256
PARAM_VALUE 1 func 1-u32max
PARAM_VALUE 2 type 3221794309,3221794313
CAPPED_DATA 1 func 1
DATA_SOURCE 0 array $0
DATA_SOURCE 1 func $1 [m]
DATA_SOURCE 2 type $2
PARAM_COMPARE 1 func > $1
CONSTRAINT 0 array->nent <3938
USER_DATA 0 array->maxnent 2-256[c]
USER_DATA 2 type 3221794309,3221794313
NO_OVERFLOW_SIMPLE 0 array->maxnent