Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/test_firmware.c test_fw_run_batch_request() -> request_partial_firmware_into_buf()

Type Parameter Key Value
PARAM_VALUE 0 firmware_p 4096-ptr_max
PARAM_VALUE 3 buf 16,4096-ptr_max
PARAM_VALUE 4 size 0-4000000
BUF_SIZE 3 buf 0-u64max
DATA_SOURCE 3 buf r _kzalloc_noprof
BYTE_COUNT 3 ==buf4 8050

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_load_image_by_type() -> request_partial_firmware_into_buf()

Type Parameter Key Value
PARAM_VALUE 0 firmware_p 7794193769046753280
PARAM_VALUE 0 *firmware_p 0
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 device 4096-ptr_max
PARAM_VALUE 2 device->bus 0,4096-ptr_max
PARAM_VALUE 2 device->class 0,4096-ptr_max
PARAM_VALUE 2 device->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 2 device->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 2 device->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 2 device->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 device->cma_area->nranges s32min-s32max
PARAM_VALUE 2 device->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 device->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 2 device->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 2 device->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 2 device->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 2 device->dma_uses_io_tlb 1
PARAM_VALUE 2 device->driver 0,4096-ptr_max
PARAM_VALUE 2 device->iommu->attach_deferred 0-1
PARAM_VALUE 2 device->iommu->pci_32bit_workaround 0
PARAM_VALUE 3 buf 1-ptr_max
PARAM_VALUE 4 size 262144,4194304
PARAM_VALUE 5 offset 0
BUF_SIZE 1 name (-1),64
BUF_SIZE 1 name (-1),64
BUF_SIZE 2 device 1616
BUF_SIZE 3 buf 262144,4194304
BUF_SIZE 3 buf 262144,4194304
CAPPED_DATA 2 device 1
DATA_SOURCE 1 name $2
DATA_SOURCE 3 buf r dma_alloc_coherent
FUZZY_MAX 4 size 4194304
BIT_INFO 4 size 0x0,0x440000
BIT_INFO 4 size 0x0,0x440000
HARD_MAX 4 size 4194304
MEM_ZERO 3 buf
USER_DATA 1 *name 0-255
USER_PTR 1 name
HALF_LOCKED2 &vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_load_image_by_type() -> request_partial_firmware_into_buf()

Type Parameter Key Value
PARAM_VALUE 0 firmware_p 7794193769046753280
PARAM_VALUE 0 *firmware_p 4096-ptr_max
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 device 4096-ptr_max
PARAM_VALUE 2 device->bus 0,4096-ptr_max
PARAM_VALUE 2 device->class 0,4096-ptr_max
PARAM_VALUE 2 device->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 2 device->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 2 device->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 2 device->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 device->cma_area->nranges s32min-s32max
PARAM_VALUE 2 device->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 device->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 2 device->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 2 device->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 2 device->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 2 device->dma_uses_io_tlb 1
PARAM_VALUE 2 device->driver 0,4096-ptr_max
PARAM_VALUE 2 device->iommu->attach_deferred 0-1
PARAM_VALUE 2 device->iommu->pci_32bit_workaround 0
PARAM_VALUE 3 buf 1-ptr_max
PARAM_VALUE 4 size 4194304
PARAM_VALUE 5 offset 4194304-u64max
BUF_SIZE 1 name (-1),64
BUF_SIZE 1 name (-1),64
BUF_SIZE 2 device 1616
BUF_SIZE 3 buf 4194304
BUF_SIZE 3 buf 4194304
CAPPED_DATA 2 device 1
DATA_SOURCE 1 name $2
DATA_SOURCE 3 buf r dma_alloc_coherent
MEM_ZERO 3 buf
BYTE_COUNT 3 ==buf4 8050
USER_PTR 1 name
HALF_LOCKED2 &vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c get_load_fw_name() -> request_partial_firmware_into_buf()

Type Parameter Key Value
PARAM_VALUE 0 firmware_p 2078746372328423424
PARAM_VALUE 0 *firmware_p 0
PARAM_VALUE 2 device 4096-ptr_max
PARAM_VALUE 2 device->bus 0,4096-ptr_max
PARAM_VALUE 2 device->class 0,4096-ptr_max
PARAM_VALUE 2 device->driver 0,4096-ptr_max
PARAM_VALUE 3 buf 7542057820669222912
PARAM_VALUE 4 size 8
PARAM_VALUE 5 offset 0
BUF_SIZE 2 device 1616
BUF_SIZE 3 buf 8
UNITS 4 size unit_byte
HALF_LOCKED2 &vk->mutex