Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ppp/ppp_generic.c ppp_bridge_channels() -> ppp_release_channel()

Type Parameter Key Value
PARAM_VALUE 0 pch 4096-ptr_max
PARAM_VALUE 0 pch->upl.rlock.dep_map->name 0-255
DATA_SOURCE 0 pch $1
NOCHECK_CALL
UNITS 0 pch unit_byte
LOCK2 global &ppp_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 pch 4096-ptr_max
CAPPED_DATA 0 pch->file.index 1
DATA_SOURCE 0 pch r ppp_find_channel
NOCHECK_CALL
UNITS 0 pch unit_byte
LOCK2 global &ppp_mutex

drivers/net/ppp/ppp_generic.c ppp_release() -> ppp_release_channel()

Type Parameter Key Value
PARAM_VALUE 0 pch 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ppp/ppp_generic.c ppp_unbridge_channels() -> ppp_release_channel()

Type Parameter Key Value
PARAM_VALUE 0 pch 4096-ptr_max
PARAM_VALUE 0 pch->bridge 0
PARAM_VALUE 0 pch->upl.rlock.dep_map->name 0-255
BUF_SIZE 0 pch (-1),704
BUF_SIZE 0 pch (-1),704
CAPPED_DATA 0 pch 1
DATA_SOURCE 0 pch $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pch unit_byte
HALF_LOCKED2 global &ppp_mutex

drivers/net/ppp/ppp_generic.c ppp_unbridge_channels() -> ppp_release_channel()

Type Parameter Key Value
PARAM_VALUE 0 pch 4096-ptr_max
PARAM_VALUE 0 pch->upl.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pch unit_byte
HALF_LOCKED2 global &ppp_mutex

drivers/net/ppp/ppp_generic.c ppp_unregister_channel() -> ppp_release_channel()

Type Parameter Key Value
PARAM_VALUE 0 pch 4096-ptr_max
PARAM_VALUE 0 pch->bridge 0
PARAM_VALUE 0 pch->bridge->bridge 0
PARAM_VALUE 0 pch->bridge->chan_net 0
PARAM_VALUE 0 pch->bridge->chan_sem.magic 0
PARAM_VALUE 0 pch->bridge->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 pch->bridge->ns_tracker->dead 0-1
PARAM_VALUE 0 pch->bridge->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 pch->bridge->rcu.func 1-u64max
PARAM_VALUE 0 pch->bridge->rcu.next 0
PARAM_VALUE 0 pch->bridge->upl.rlock.dep_map->name 0-255
PARAM_VALUE 0 pch->chan 0
PARAM_VALUE 0 pch->chan_net 0,4096-ptr_max
PARAM_VALUE 0 pch->chan_net->gen 4096-ptr_max
PARAM_VALUE 0 pch->chan_sem.dep_map->name 0-255
PARAM_VALUE 0 pch->chan_sem.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pch->chan_sem.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pch->chan_sem.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 pch->chan_sem.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 pch->chan_sem.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 pch->chan_sem.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 pch->chan_sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 pch->downl.rlock.dep_map->name 0-255
PARAM_VALUE 0 pch->file.dead 1
PARAM_VALUE 0 pch->file.rwait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pch->ppp 0
PARAM_VALUE 0 pch->upl.rlock.dep_map->name 0-255
BUF_SIZE 0 pch 704
CAPPED_DATA 0 pch 1
CAPPED_DATA 0 &pch->chan_sem 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pch unit_byte