Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_handler_lri() -> cmd_reg_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->engine->i915 | 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->vgpu->gvt->irq.irq_map->down_irq_bitmask | 0-4294967295 |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->down_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_bit | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *s->vgpu->hws_pga | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 0,4-8388604 |
| PARAM_VALUE | 2 | index | 1,3-2147483646 |
| PARAM_VALUE | 3 | cmd | 8990311476893958144 |
| BUF_SIZE | 0 | s->rb_va | (-1),1-2097151 |
| BUF_SIZE | 0 | s->workload | (-1),1-s32max |
| BUF_SIZE | 3 | cmd | 4 |
| CAPPED_DATA | 2 | index | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 3 |
| BIT_INFO | 1 | offset | 0x0,0x7ffffc |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| TERMINATED | 3 | cmd | 1 |
| 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] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.current_edid_read | 0-255[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.cycle_type | 0-7[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.total_byte_count | 0-511[c] |
| HALF_LOCKED2 | &gvt->lock | ||
| HALF_LOCKED2 | &vgpu->vgpu_lock |
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_handler_lrm() -> cmd_reg_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->engine->i915 | 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->vgpu->gvt | 4096-ptr_max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->down_irq_bitmask | 0-4294967295 |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->down_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_bit | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *s->vgpu->hws_pga | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 0,4-8388604 |
| PARAM_VALUE | 2 | index | 0-2147483646,3758096386-u32max |
| PARAM_VALUE | 3 | cmd | 73139501780738048 |
| BUF_SIZE | 0 | s->rb_va | (-1),1-2097151 |
| BUF_SIZE | 0 | s->workload | (-1),1-s32max |
| BUF_SIZE | 3 | cmd | 4 |
| CAPPED_DATA | 2 | index | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 3 |
| BIT_INFO | 1 | offset | 0x0,0x7ffffc |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| TERMINATED | 3 | cmd | 1 |
| 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] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.current_edid_read | 0-255[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.cycle_type | 0-7[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.total_byte_count | 0-511[c] |
| HALF_LOCKED2 | &gvt->lock | ||
| HALF_LOCKED2 | &vgpu->vgpu_lock |
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_handler_lrr() -> cmd_reg_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->engine->i915 | 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->vgpu->gvt->irq.irq_map->down_irq_bitmask | 0-4294967295 |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->down_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_bit | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *s->vgpu->hws_pga | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 0,4-8388604 |
| PARAM_VALUE | 2 | index | 1,3-2147483646 |
| PARAM_VALUE | 3 | cmd | 2226960105290326016 |
| BUF_SIZE | 0 | s->rb_va | (-1),1-2097151 |
| BUF_SIZE | 0 | s->workload | (-1),1-s32max |
| BUF_SIZE | 3 | cmd | 8 |
| CAPPED_DATA | 2 | index | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 7 |
| BIT_INFO | 1 | offset | 0x0,0x7ffffc |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| TERMINATED | 3 | cmd | 1 |
| 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] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.current_edid_read | 0-255[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.cycle_type | 0-7[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.total_byte_count | 0-511[c] |
| HALF_LOCKED2 | &gvt->lock | ||
| HALF_LOCKED2 | &vgpu->vgpu_lock |
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_handler_lrr() -> cmd_reg_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->engine->i915 | 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->vgpu->gvt | 4096-ptr_max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->down_irq_bitmask | 0-4294967295 |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->down_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_bit | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *s->vgpu->hws_pga | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 0,4-8388604 |
| PARAM_VALUE | 2 | index | 1,3-2147483646 |
| PARAM_VALUE | 3 | cmd | 4952216425911046144 |
| BUF_SIZE | 0 | s->rb_va | (-1),1-2097151 |
| BUF_SIZE | 0 | s->workload | (-1),1-s32max |
| BUF_SIZE | 3 | cmd | 8 |
| CAPPED_DATA | 2 | index | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 7 |
| BIT_INFO | 1 | offset | 0x0,0x7ffffc |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| TERMINATED | 3 | cmd | 1 |
| 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] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.current_edid_read | 0-255[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.cycle_type | 0-7[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.total_byte_count | 0-511[c] |
| HALF_LOCKED2 | &gvt->lock | ||
| HALF_LOCKED2 | &vgpu->vgpu_lock |
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_handler_pipe_control() -> cmd_reg_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->vgpu->gvt | 4096-ptr_max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0,4-8388604 |
| PARAM_VALUE | 2 | index | 1 |
| PARAM_VALUE | 3 | cmd | 2326157305426223104 |
| BUF_SIZE | 0 | s->rb_va | (-1),1-2097151 |
| BUF_SIZE | 0 | s->workload | (-1),1-s32max |
| BUF_SIZE | 3 | cmd | 10 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 9 |
| BIT_INFO | 1 | offset | 0x0,0x7ffffc |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| TERMINATED | 3 | cmd | 1 |
| 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 |
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_handler_pipe_control() -> cmd_reg_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->vgpu->gvt | 4096-ptr_max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| PARAM_VALUE | 1 | offset | 9040 |
| PARAM_VALUE | 2 | index | 1 |
| PARAM_VALUE | 3 | cmd | 2326157305426223104 |
| BUF_SIZE | 0 | s->rb_va | (-1),1-2097151 |
| BUF_SIZE | 0 | s->workload | (-1),1-s32max |
| BUF_SIZE | 3 | cmd | 10 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 9 |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| TERMINATED | 3 | cmd | 1 |
| 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 |
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_handler_pipe_control() -> cmd_reg_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->vgpu->gvt | 4096-ptr_max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| PARAM_VALUE | 1 | offset | 9048 |
| PARAM_VALUE | 2 | index | 1 |
| PARAM_VALUE | 3 | cmd | 2326157305426223104 |
| BUF_SIZE | 0 | s->rb_va | (-1),1-2097151 |
| BUF_SIZE | 0 | s->workload | (-1),1-s32max |
| BUF_SIZE | 3 | cmd | 10 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 9 |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| TERMINATED | 3 | cmd | 1 |
| 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 |
drivers/gpu/drm/i915/gvt/cmd_parser.c cmd_handler_srm() -> cmd_reg_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->vgpu->gvt | 4096-ptr_max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->down_irq_bitmask | 0-4294967295 |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->down_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_bit | s32min-s32max |
| PARAM_VALUE | 0 | s->vgpu->gvt->irq.irq_map->up_irq_group | s32min-s32max |
| PARAM_VALUE | 0 | s->workload | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *s->vgpu->hws_pga | 0-4294967295 |
| PARAM_VALUE | 1 | offset | 0,4-8388604 |
| PARAM_VALUE | 2 | index | 0-2147483646,3758096386-u32max |
| PARAM_VALUE | 3 | cmd | 2498877301563711488 |
| BUF_SIZE | 0 | s->rb_va | (-1),1-2097151 |
| BUF_SIZE | 0 | s->workload | (-1),1-s32max |
| BUF_SIZE | 3 | cmd | 4 |
| CAPPED_DATA | 2 | index | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 3 |
| BIT_INFO | 1 | offset | 0x0,0x7ffffc |
| NOSPEC | 0 | s->ip_gma | |
| NOSPEC | 0 | s->ring_head | |
| NOSPEC | 0 | s->ring_start | |
| TERMINATED | 3 | cmd | 1 |
| 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] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.current_edid_read | 0-255[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.cycle_type | 0-7[c] |
| USER_DATA | 0 | s->vgpu->display.i2c_edid.gmbus.total_byte_count | 0-511[c] |
| HALF_LOCKED2 | &gvt->lock | ||
| HALF_LOCKED2 | &vgpu->vgpu_lock |