Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/raid1.c r1buf_pool_alloc() -> rbio_pool_free()

Type Parameter Key Value
PARAM_VALUE 0 rbio 16,4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
BUF_SIZE 1 data (-1)-s32max
BUF_SIZE 1 data (-1)-s32max
DATA_SOURCE 0 rbio r r1bio_pool_alloc
DATA_SOURCE 1 data $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid1.c r1buf_pool_free() -> rbio_pool_free()

Type Parameter Key Value
PARAM_VALUE 1 data 4096-ptr_max
BUF_SIZE 1 data (-1),1-s32max
BUF_SIZE 1 data (-1),1-s32max
DATA_SOURCE 0 rbio $0
DATA_SOURCE 1 data $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid10.c r10buf_pool_alloc() -> rbio_pool_free()

Type Parameter Key Value
PARAM_VALUE 0 rbio 16,4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
BUF_SIZE 1 data (-1)-s32max
DATA_SOURCE 0 rbio r r10bio_pool_alloc
DATA_SOURCE 1 data $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid10.c r10buf_pool_free() -> rbio_pool_free()

Type Parameter Key Value
PARAM_VALUE 1 data 4096-ptr_max
BUF_SIZE 1 data (-1),1-s32max
DATA_SOURCE 0 rbio $0
DATA_SOURCE 1 data $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/mempool.c mempool_exit() -> (struct mempool)->free()

Type Parameter Key Value
BUF_SIZE 1 data (-1)-s32max
BUF_SIZE 1 data (-1)-s32max
DATA_SOURCE 0 rbio r remove_element
CONTAINER 1 *(-104+88) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &epf->lock
HALF_LOCKED2 global &bch_register_lock
HALF_LOCKED2 global &dm_thin_pool_table.mutex

mm/mempool.c mempool_free() -> (struct mempool)->free()

Type Parameter Key Value
PARAM_VALUE 0 rbio 1-u64max
BUF_SIZE 1 data 1-s32max
DATA_SOURCE 0 rbio $0
CONTAINER 1 *(-104+88) $(-1)
NOCHECK_CALL

mm/mempool.c mempool_resize() -> (struct mempool)->free()

Type Parameter Key Value
BUF_SIZE 1 data 1-s32max
DATA_SOURCE 0 rbio r remove_element
CONTAINER 1 *(-104+88) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &q->limits_lock

mm/mempool.c mempool_resize() -> (struct mempool)->free()

Type Parameter Key Value
PARAM_VALUE 0 rbio 1-u64max
BUF_SIZE 1 data 1-s32max
CONTAINER 1 *(-104+88) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &q->limits_lock