Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dvb_net.c dvb_net_add_if() -> reset_ule()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
STR_LEN 0 p->net->name 15
CAPABLE 0 21
NOCHECK_CALL
USER_DATA 0 p->feedtype 0[u]
USER_DATA 0 p->pid 0-u16max[u]
LOCK2 &dvbnet->ioctl_mutex
TYPE_LOCK (struct dvb_net)->ioctl_mutex

drivers/media/dvb-core/dvb_net.c dvb_net_ule() -> reset_ule()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ule_skb 4096-ptr_max
PARAM_VALUE 0 p->ule_sndu_remain s32min-0
CAPPED_DATA 0 p->ule_skb 1
FUZZY_MAX 0 p->ule_sndu_remain 0
HARD_MAX 0 p->ule_sndu_remain 0
NOCHECK_CALL
USER_DATA 0 *p->ule_next_hdr 0-255
USER_PTR 0 p->ule_next_hdr

drivers/media/dvb-core/dvb_net.c dvb_net_ule_new_ts() -> reset_ule()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ule_skb 0,4096-ptr_max
CAPPED_DATA 0 p->ule_skb 1
NOCHECK_CALL

drivers/media/dvb-core/dvb_net.c dvb_net_ule_new_ts() -> reset_ule()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ule_skb 0,4096-ptr_max
CAPPED_DATA 0 p->tscc 1
CAPPED_DATA 0 p->ule_skb 1
NOCHECK_CALL

drivers/media/dvb-core/dvb_net.c dvb_net_ule_new_ts() -> reset_ule()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ule_skb 0,4096-ptr_max
PARAM_VALUE 0 p->ule_sndu_remain 184-s32max
CAPPED_DATA 0 p->tscc 1
CAPPED_DATA 0 p->ule_skb 1
NOCHECK_CALL

drivers/media/dvb-core/dvb_net.c dvb_net_ule_new_ts_cell() -> reset_ule()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->ule_skb 0,4096-ptr_max
CAPPED_DATA 0 p->ule_skb 1
NOCHECK_CALL