Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/cpuid.c do_cpuid_func() -> __do_cpuid_func_emulated()
| 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 |
| DATA_SOURCE | 0 | array | $0 |
| DATA_SOURCE | 1 | func | $1 |
| USER_DATA | 0 | array->maxnent | 2-256[c] |
| NO_OVERFLOW_SIMPLE | 0 | array->maxnent |