Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ppp/ppp_generic.c ppp_ioctl() -> slhc_free()

Type Parameter Key Value
PARAM_VALUE 0 comp 1-u64max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &ppp->rlock
LOCK2 &ppp->wlock
LOCK2 bh
LOCK2 global &ppp_mutex
TYPE_LOCK (struct ppp)->rlock
TYPE_LOCK (struct ppp)->wlock

drivers/net/ppp/ppp_generic.c ppp_release_interface() -> slhc_free()

Type Parameter Key Value
PARAM_VALUE 0 comp 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/slip/slip.c sl_alloc_bufs() -> slhc_free()

Type Parameter Key Value
PARAM_VALUE 0 comp->recv_current 255
PARAM_VALUE 0 comp->xmit_current 255
PARAM_VALUE 0 comp->xmit_oldest 0
BUF_SIZE 0 comp (-1)-0,72
BUF_SIZE 0 comp (-1)-0,72
CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->legacy_mutex

drivers/net/slip/slip.c sl_free_bufs() -> slhc_free()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex