Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/pci/pds/cmds.c pds_vfio_dirty_disable_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->dirty.is_enabled 0
PARAM_VALUE 0 pds_vfio->state 0-2,4-5
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 req 5834847433230327808
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_dirty_disable.opcode 34
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 781617483295252480
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 0
DATA_SOURCE 0 pds_vfio $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_dirty_enable_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->dirty.is_enabled 0
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev->is_virtfn 0
PARAM_VALUE 1 req 3525564055185911808
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_dirty_enable.bmp_type 1
PARAM_VALUE 1 req->lm_dirty_enable.opcode 33
PARAM_VALUE 1 req->lm_dirty_enable.regions_dma 0-18446744073709551614
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 3151584622637633536
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 0
DATA_SOURCE 0 pds_vfio $0
NOSPEC 1 req->lm_dirty_enable.num_regions
USER_DATA 1 req->lm_dirty_enable.num_regions 0-255[c]
NO_OVERFLOW_SIMPLE 1 req->lm_dirty_enable.num_regions
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_dirty_seq_ack_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->dirty.is_enabled 1
PARAM_VALUE 0 pds_vfio->dirty.num_regions 1-255
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev->is_virtfn 0
PARAM_VALUE 1 req 153351194491125760
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_dirty_seq_ack.opcode 35-36
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 513017277151350784
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 0
CAPPED_DATA 0 pds_vfio->dirty.num_regions 1
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
HALF_LOCKED2 &iopt->iova_rwsem
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_dirty_status_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev->is_virtfn 0
PARAM_VALUE 1 req 7268283959805972480
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_dirty_status.opcode 32
PARAM_VALUE 1 req->lm_dirty_status.regions_dma 0-18446744073709551614
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 836804965702160384
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 0
DATA_SOURCE 0 pds_vfio $0
NO_OVERFLOW_SIMPLE 1 req->lm_dirty_status.max_regions
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_get_lm_state_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->save_file 4096-ptr_max
PARAM_VALUE 0 pds_vfio->save_file->sg_table.nents 0-s32max
PARAM_VALUE 0 pds_vfio->save_file->sgl 16,4096-ptr_max
PARAM_VALUE 0 pds_vfio->save_file->sgl_addr 0-18446744073709551614
PARAM_VALUE 0 pds_vfio->state 1
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
PARAM_VALUE 1 req 6854450594806411264
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_save.num_sge 0-u16max
PARAM_VALUE 1 req->lm_save.opcode 21
PARAM_VALUE 1 req->lm_save.sgl_addr 0-18446744073709551614
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 7529169541225930752
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 0
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_get_lm_state_size_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->state 1
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 req 6881611699774111744
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_state_size.opcode 16
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 5885545445354246144
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 0
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_resume_device_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->state 1,5
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 req 7420321827107676160
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_resume.opcode 20
PARAM_VALUE 1 req->lm_resume.type 0-1
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 5480492267372756992
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 1
DATA_SOURCE 0 pds_vfio $0
HARD_MAX 0 pds_vfio->state 5
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_send_host_vf_lm_status_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->state 0-2,4-5
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 req 3524373565548720128
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_host_vf_status.opcode 1
PARAM_VALUE 1 req->lm_host_vf_status.status 0-1
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 5255441806476382208
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 0
DATA_SOURCE 0 pds_vfio $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_set_lm_state_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->restore_file 4096-ptr_max
PARAM_VALUE 0 pds_vfio->restore_file->sg_table.nents 0-s32max
PARAM_VALUE 0 pds_vfio->restore_file->sgl 16,4096-ptr_max
PARAM_VALUE 0 pds_vfio->restore_file->sgl_addr 0-18446744073709551614
PARAM_VALUE 0 pds_vfio->state 4
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 req 72826294635581440
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_restore.num_sge 0-u16max
PARAM_VALUE 1 req->lm_restore.opcode 22
PARAM_VALUE 1 req->lm_restore.sgl_addr 0-18446744073709551614
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 1959472089930887168
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 0
DATA_SOURCE 0 pds_vfio $0
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_suspend_device_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->state 2,5
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 req 186046676996317184
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_suspend.opcode 18
PARAM_VALUE 1 req->lm_suspend.type 0-1
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 3571521112662089728
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 1
DATA_SOURCE 0 pds_vfio $0
HARD_MAX 0 pds_vfio->state 5
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex

drivers/vfio/pci/pds/cmds.c pds_vfio_suspend_wait_device_cmd() -> pds_vfio_client_adminq_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pds_vfio 4096-ptr_max
PARAM_VALUE 0 pds_vfio->state 2,5
PARAM_VALUE 0 pds_vfio->state_mutex.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pds_vfio->state_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 pds_vfio->state_mutex.wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 pds_vfio->vfio_coredev.pdev 4096-ptr_max
PARAM_VALUE 1 req 8567498515366375424
PARAM_VALUE 1 req->fwctl.ep 0
PARAM_VALUE 1 req->fwctl.op 0
PARAM_VALUE 1 req->lm_suspend_status.opcode 19
PARAM_VALUE 1 req->lm_suspend_status.type 0-1
PARAM_VALUE 1 req->opcode 0
PARAM_VALUE 2 resp 8410885342164303872
PARAM_VALUE 2 resp->color 0
PARAM_VALUE 2 resp->rsvd 0
PARAM_VALUE 2 resp->status 0
PARAM_VALUE 3 fast_poll 1
DATA_SOURCE 0 pds_vfio $0
HARD_MAX 0 pds_vfio->state 5
LOCK2 0 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex