Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/pcm_memory.c decrease_allocated_size() -> __update_allocated_size()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
DATA_SOURCE 0 card $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 bytes (-2147483647)-(-8192)
LOCK2 _T->lock

sound/core/pcm_memory.c do_alloc_pages() -> __update_allocated_size()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
CAPPED_DATA 1 bytes 1
DATA_SOURCE 0 card $0
DATA_SOURCE 1 bytes $4
NOSPEC 1 bytes
NOSPEC 1 bytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 bytes 8193-s32max[c]
NO_OVERFLOW_SIMPLE 1 bytes
UNITS 1 bytes unit_byte
LOCK2 _T->lock

sound/core/pcm_memory.c update_allocated_size() -> __update_allocated_size()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
DATA_SOURCE 0 card $0
DATA_SOURCE 1 bytes $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 bytes (-2147483647)-4294959104
UNITS 1 bytes unit_byte
LOCK2 _T->lock