Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 dir 2
BUF_SIZE 0 dev 1616
LOCK2 &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_dma_map_lm_file()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 dir 1
BUF_SIZE 0 dev 1616
LOCK2 &pds_vfio->state_mutex
TYPE_LOCK (struct pds_vfio_pci_device)->state_mutex