Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/pci/intel/ipu6/ipu6-dma.c ipu6_dma_alloc() -> __free_buffer()

Type Parameter Key Value
PARAM_VALUE 0 pages 16,4096-ptr_max
PARAM_VALUE 1 size 0,4096-u64max
PARAM_VALUE 2 attrs 0
BUF_SIZE 0 pages s32min-s32max
DATA_SOURCE 0 pages r __alloc_buffer
DATA_SOURCE 2 attrs $4
BIT_INFO 1 size 0x0,0xfffffffffffff000
BIT_INFO 1 size 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &isys->mutex

drivers/media/pci/intel/ipu6/ipu6-dma.c ipu6_dma_free() -> __free_buffer()

Type Parameter Key Value
PARAM_VALUE 0 pages 1-u64max
PARAM_VALUE 1 size 0,4096-u64max
PARAM_VALUE 2 attrs 0
BUF_SIZE 0 pages 1-8388608
BUF_SIZE 0 pages 1-8388608
DATA_SOURCE 2 attrs $4
BIT_INFO 1 size 0x0,0xfffffffffffff000
BIT_INFO 1 size 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &isys->mutex

drivers/staging/media/ipu7/ipu7-dma.c ipu7_dma_alloc() -> __free_buffer()

Type Parameter Key Value
PARAM_VALUE 0 pages 16,4096-ptr_max
PARAM_VALUE 1 size 0,4096-4294967296
PARAM_VALUE 2 attrs 0
BUF_SIZE 0 pages 0-8388608
BUF_SIZE 0 pages 0-8388608
DATA_SOURCE 0 pages r __alloc_buffer
DATA_SOURCE 2 attrs $4
BIT_INFO 1 size 0x0,0x1fffff000
BIT_INFO 1 size 0x0,0x1fffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte

drivers/staging/media/ipu7/ipu7-dma.c ipu7_dma_free() -> __free_buffer()

Type Parameter Key Value
PARAM_VALUE 0 pages 1-u64max
PARAM_VALUE 1 size 0,4096-u64max
PARAM_VALUE 2 attrs 0
BUF_SIZE 0 pages 1-8388608
BUF_SIZE 0 pages 1-8388608
DATA_SOURCE 2 attrs $4
BIT_INFO 1 size 0x0,0xfffffffffffff000
BIT_INFO 1 size 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &dev->mutex