Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/name_table.c tipc_service_insert_publ() -> tipc_service_create_range()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 1 p->all_publ.next 4096-ptr_max
PARAM_VALUE 1 p->all_publ.next->next 4096-ptr_max
PARAM_VALUE 1 p->all_publ.prev 4096-ptr_max
PARAM_VALUE 1 p->all_publ.prev->next 4096-ptr_max
PARAM_VALUE 1 p->all_publ.prev->prev 4096-ptr_max
PARAM_VALUE 1 p->binding_node.next 4096-ptr_max
PARAM_VALUE 1 p->binding_node.next->next 4096-ptr_max
PARAM_VALUE 1 p->binding_node.prev 4096-ptr_max
PARAM_VALUE 1 p->binding_node.prev->next 4096-ptr_max
PARAM_VALUE 1 p->binding_node.prev->prev 4096-ptr_max
PARAM_VALUE 1 p->binding_sock.next 4096-ptr_max
PARAM_VALUE 1 p->binding_sock.next->next 4096-ptr_max
PARAM_VALUE 1 p->binding_sock.prev 4096-ptr_max
PARAM_VALUE 1 p->binding_sock.prev->next 4096-ptr_max
PARAM_VALUE 1 p->binding_sock.prev->prev 4096-ptr_max
PARAM_VALUE 1 p->list.next 4096-ptr_max
PARAM_VALUE 1 p->list.next->next 4096-ptr_max
PARAM_VALUE 1 p->list.prev 4096-ptr_max
PARAM_VALUE 1 p->list.prev->next 4096-ptr_max
PARAM_VALUE 1 p->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 p->local_publ.next 4096-ptr_max
PARAM_VALUE 1 p->local_publ.next->next 4096-ptr_max
PARAM_VALUE 1 p->local_publ.prev 4096-ptr_max
PARAM_VALUE 1 p->local_publ.prev->next 4096-ptr_max
PARAM_VALUE 1 p->local_publ.prev->prev 4096-ptr_max
PARAM_VALUE 1 p->scope 2-3
BUF_SIZE 0 sc (-1),136
BUF_SIZE 0 sc (-1),136
BUF_SIZE 1 p 128
CAPPED_DATA 1 p->scope 1
DATA_SOURCE 0 sc $1
DATA_SOURCE 1 p $2
NOSPEC 1 p->sr.lower
NOSPEC 1 p->sr.type
NOSPEC 1 p->sr.upper
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sc->type 0-u32max
USER_DATA 1 p->key 0-u32max
USER_DATA 1 p->sk.node 0-u32max
USER_DATA 1 p->sk.ref 0-u32max
USER_DATA 1 p->sr.lower 0-u32max
USER_DATA 1 p->sr.type 0-u32max
USER_DATA 1 p->sr.upper 0-u32max
LOCK2 &tn->nametbl_lock
LOCK2 bh
LOCK2 0 &sc->lock
TYPE_LOCK (struct tipc_net)->nametbl_lock
TYPE_LOCK (struct tipc_service)->lock