Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/seq/seq_ports.c check_and_subscribe_port() -> match_subs_info()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->dest.client 0-191
PARAM_VALUE 0 r->sender.client 0-191
NOSPEC 0 r->dest.client
NOSPEC 0 r->sender.client
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 r->dest.client 0-191[c]
USER_DATA 0 r->dest.port 0-255[c]
USER_DATA 0 r->flags 0-u32max
USER_DATA 0 r->queue 0-255[u]
USER_DATA 0 r->sender.client 0-191[c]
USER_DATA 0 r->sender.port 0-255[c]
USER_DATA 0 r->voices 0-u32max[u]
USER_PTR 0 r->pad
USER_PTR 0 r->reserved
LOCK2 _T->lock

sound/core/seq/seq_ports.c snd_seq_port_disconnect() -> match_subs_info()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->dest.client 0-191
PARAM_VALUE 0 r->sender.client 0-191
PARAM_VALUE 1 s 0,4096-ptr_max
BUF_SIZE 0 r 64,80,88,140,168,188,192
BUF_SIZE 0 r 64,80,88,140,168,188,192
CAPPED_DATA 0 r->dest.client 1
CAPPED_DATA 0 r->dest.port 1
CAPPED_DATA 0 r->sender.client 1
CAPPED_DATA 0 r->sender.port 1
DATA_SOURCE 0 r $5
HARD_MAX 0 r->dest.client 191
HARD_MAX 0 r->sender.client 191
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 r->dest.client 0-191[c]
USER_DATA 0 r->dest.port 0-255[c]
USER_DATA 0 r->flags 0-u32max
USER_DATA 0 r->queue 0-255[u]
USER_DATA 0 r->sender.client 0-191[c]
USER_DATA 0 r->sender.port 0-255[c]
USER_DATA 0 r->voices 0-u32max[u]
USER_PTR 0 r
LOCK2 _T->lock