Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ppp/pppoe.c pppoe_connect() -> delete_item()

Type Parameter Key Value
PARAM_VALUE 1 sid 1-u16max
BUF_SIZE 2 addr 6
DATA_SOURCE 0 pn r pppoe_pernet
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 ifindex unit_array_size
LOCK2 sk

drivers/net/ppp/pppoe.c pppoe_connect() -> delete_item()

Type Parameter Key Value
PARAM_VALUE 0 pn 4096-ptr_max
PARAM_VALUE 0 pn->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 sid 1-u16max
PARAM_VALUE 2 addr 4096-ptr_max
BUF_SIZE 2 addr 6
CAPPED_DATA 1 sid 1
DATA_SOURCE 0 pn r pppoe_pernet
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 ifindex unit_array_size
LOCK2 sk

drivers/net/ppp/pppoe.c pppoe_release() -> delete_item()

Type Parameter Key Value
BUF_SIZE 2 addr 6
DATA_SOURCE 0 pn r pppoe_pernet
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 ifindex unit_array_size
LOCK2 sk
HALF_LOCKED2 &inode->i_rwsem