Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
sound/core/memalloc.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| BUF_SIZE | 0 | pool | 16,40 |
| BUF_SIZE | 0 | pool | 16,40 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | size | |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &azx_dev->dsp_mutex | ||
| HALF_LOCKED2 | &card->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &runtime->buffer_mutex | ||
| HALF_LOCKED2 | &sflist->presets_mutex | ||
| HALF_LOCKED2 | _T->lock |
drivers/net/ethernet/freescale/fman/fman_muram.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool->algo | 7427687418366767104 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/usb/core/buffer.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| BUF_SIZE | 1 | addr | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| NOSPEC | 2 | size | |
| NOSPEC | 2 | size | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | size | 0-4294967302 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
drivers/dma/mmp_tdma.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &dma_list_mutex |
net/core/devmem.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 3 | owner | 0 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/mediatek/mtk_eth_soc.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 2 | size | 0-u32max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/gpu/ipu-v3/ipu-pre.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 2 | size | 65536 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_dev->mutex | ||
| TYPE_LOCK | (struct device)->mutex |
drivers/net/ethernet/ti/davinci_cpdma.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &chan->lock | ||
| HALF_LOCKED2 | flags |
drivers/accel/habanalabs/common/firmware_if.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| BUF_SIZE | 0 | pool | (-1),120 |
| BUF_SIZE | 0 | pool | (-1),120 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| NOSPEC | 2 | size | |
| NOSPEC | 2 | size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | size | 0-1048576[c] |
| HALF_LOCKED2 | &hdev->fpriv_list_lock | ||
| HALF_LOCKED2 | &of->mutex |
drivers/edac/igen6_edac.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 0,4096-ptr_max |
| PARAM_VALUE | 1 | addr | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | size | 24 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| NOCHECK_CALL | |||
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/fsi/fsi-master-ast-cf.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 2 | size | 4096 |
| PARAM_VALUE | 3 | owner | 0 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/acpi/apei/ghes.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 4096-18446744073709547520 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
drivers/pci/p2pdma.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | rcu_read |
drivers/pci/p2pdma.c p2pdma_folio_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | size | 4096 |
| PARAM_VALUE | 3 | owner | 2107029799479480320 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
drivers/pci/p2pdma.c pci_free_p2pmem() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 7158406331836870656 |
| BUF_SIZE | 1 | addr | (-1),1-s32max |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
drivers/accel/habanalabs/common/command_buffer.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | size | |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
drivers/tee/tee_heap.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | size | 4096-u64max[c] |
drivers/media/platform/nvidia/tegra-vde/vde.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/soc/fsl/qbman/bman.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | size | 1 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| BIT_INFO | 1 | addr | 0x80000000,0xffffffff |
| BIT_INFO | 1 | addr | 0x80000000,0xffffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/soc/fsl/qbman/qman.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | size | 1 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| BIT_INFO | 1 | addr | 0x80000000,0xffffffff |
| BIT_INFO | 1 | addr | 0x80000000,0xffffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/platform/st/stm32/stm32-dcmi.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &_dev->mutex |
drivers/media/platform/nxp/imx-jpeg/mxc-jpeg.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| BUF_SIZE | 1 | addr | (-1),72,4096,16384 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &ctx->mxc_jpeg->hw_lock | ||
| HALF_LOCKED2 | flags |
drivers/net/ethernet/mellanox/mlxsw/spectrum_router.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 256-65791 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/spi/spi-stm32.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
kernel/dma/pool.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 3 | owner | 0 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| NOCHECK_CALL | |||
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
drivers/firmware/qcom/qcom_tzmem.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| BUF_SIZE | 1 | addr | (-1),80 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | size | 0,4096[c] |
| UNITS | 2 | size | unit_byte |
| LOCK2 | irq | ||
| HALF_LOCKED2 | &chunk->owner->lock | ||
| HALF_LOCKED2 | global &__qcuefi_lock | ||
| HALF_LOCKED2 | global &qcom_tzmem_chunks_lock |
drivers/net/ethernet/ti/icssm/icssm_prueth.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_dev->mutex | ||
| TYPE_LOCK | (struct device)->mutex |
drivers/accel/habanalabs/common/mmu/mmu.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| BUF_SIZE | 0 | pool | (-1),120 |
| BUF_SIZE | 0 | pool | (-1),120 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/mellanox/mlxsw/spectrum_acl_erp.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | size | 0-u32max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/platform/chips-media/coda/coda-common.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| LOCK2 | &_dev->mutex | ||
| TYPE_LOCK | (struct device)->mutex |
drivers/usb/host/ohci-hcd.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 2 | size | 96,112,256 |
| PARAM_VALUE | 3 | owner | 0 |
| BUF_SIZE | 1 | addr | (-1),40,48,56,80,104,128,384 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| HARD_MAX | 2 | size | 256 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &hc->lock | ||
| HALF_LOCKED2 | flags |
drivers/remoteproc/meson_mx_ao_arc.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
arch/x86/kernel/cpu/mce/genpool.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 0,4096-ptr_max |
| PARAM_VALUE | 1 | addr | 4096-18446744073709547520 |
| PARAM_VALUE | 2 | size | 152 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| NOCHECK_CALL | |||
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/accel/habanalabs/common/memory.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | size | 0-u32max[u] |
| UNITS | 2 | size | unit_byte |
drivers/crypto/marvell/cesa/cesa.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| NOCHECK_CALL |
drivers/accel/ivpu/ivpu_ipc.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u32max |
| PARAM_VALUE | 2 | size | 192 |
| PARAM_VALUE | 3 | owner | 0 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &ipc->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &vdev->pm->reset_lock |
drivers/mtd/nand/raw/atmel/nand-controller.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 1-u64max |
| PARAM_VALUE | 2 | size | 9216 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/platform/chips-media/wave5/wave5-vdi.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 2 | size | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
drivers/media/platform/rockchip/rkvdec/rkvdec-rcb.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &dmxdev->mutex |
drivers/gpu/drm/vboxvideo/vbox_hgsmi.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 4096-18446744073709547520 |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &vbox->hw_mutex |
drivers/accel/ethosu/ethosu_drv.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 1-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_dev->mutex | ||
| TYPE_LOCK | (struct device)->mutex |
drivers/tee/tee_shm_pool.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
drivers/soc/fsl/qe/qe_common.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | addr | 32768-98303[c] |
| UNITS | 2 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &cpm_muram_lock |
drivers/infiniband/hw/cxgb4/resource.c gen_pool_free() -> gen_pool_free_owner()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 0-u32max |
| PARAM_VALUE | 2 | size | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | owner | 0 |
| CAPPED_DATA | 2 | size | 1 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | size | $2 |
| NOSPEC | 2 | size | |
| NOSPEC | 2 | size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | size | 0,8-s32max[c] |
| UNITS | 1 | addr | unit_byte |