Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/drivers/vx/vx_pcm.c vx_pcm_capture_update() -> vx_query_hbuffer_size()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->audio_ins 1-u32max
PARAM_VALUE 0 chip->capture_pipes 4096-ptr_max
PARAM_VALUE 0 chip->irq_rmh->Stat 0-255
PARAM_VALUE 1 pipe 4096-ptr_max
PARAM_VALUE 1 pipe->running 1
PARAM_VALUE 1 pipe->substream 1-u64max
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 pipe $2
BIT_INFO 0 chip->chip_status 0x0,0xffff7fff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->irq_rmh.LgStat 1-256[c]
HALF_LOCKED2 _T->lock

sound/drivers/vx/vx_pcm.c vx_pcm_playback_transfer_chunk() -> vx_query_hbuffer_size()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 pipe 4096-ptr_max
PARAM_VALUE 1 pipe->prepared 1
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 1 pipe s32min-(-1),1-s32max
BUF_SIZE 1 pipe s32min-(-1),1-s32max
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 pipe $2
BIT_INFO 0 chip->chip_status 0x0,0xffff7fff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->irq_rmh.LgStat 2-256[c]
UNITS 0 chip unit_byte
UNITS 1 pipe unit_byte
HALF_LOCKED2 _T->lock