Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_parser_exec() -> (struct cmd_info)->handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 1689229078367850496,4768902693926268928,6535798771147493376,8157200321789538304 |
| PARAM_VALUE | 0 | s->buf_addr_type | 0 |
| PARAM_VALUE | 0 | s->buf_type | 0,3 |
| PARAM_VALUE | 0 | s->engine | 4096-ptr_max |
| PARAM_VALUE | 0 | s->info | 4096-ptr_max |
| PARAM_VALUE | 0 | s->info->addr_bitmap | 0,2,4,6,8,16,20,42,48,122,144,304 |
| PARAM_VALUE | 0 | s->info->devices | 30-31 |
| PARAM_VALUE | 0 | s->info->flag | 0-2,4-5 |
| PARAM_VALUE | 0 | s->info->len | 1-6,8-12,14,16 |
| PARAM_VALUE | 0 | s->info->rings | 1-3,3072,262144,265219 |
| PARAM_VALUE | 0 | s->info->valid_len | 0,2-5 |
| PARAM_VALUE | 0 | s->vgpu | 4096-ptr_max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| DATA_SOURCE | 0 | s | $0 |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| HARD_MAX | 0 | s->buf_type | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | s->ip_gma | 0-25771900903,18446744073707454464-u64max |
| USER_DATA | 0 | s->ring_head | 0-4297064443[c] |
| USER_DATA | 0 | s->ring_size | 4096,4160-2097152[c] |
| USER_DATA | 0 | s->ring_start | 0-u32max[c] |
| USER_DATA | 0 | s->ring_tail | 0-4297064439[c] |
| HALF_LOCKED2 | &gvt->lock | ||
| HALF_LOCKED2 | &vgpu->vgpu_lock |