Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/sock.c proto_register() -> tw_prot_init()

Type Parameter Key Value
PARAM_VALUE 0 prot 4096-ptr_max
PARAM_VALUE 0 prot->name 1-u64max
PARAM_VALUE 0 prot->obj_size 0-4194304
PARAM_VALUE 0 prot->rsk_prot 0,4096-ptr_max
PARAM_VALUE 0 prot->rsk_prot->slab 1-u64max
PARAM_VALUE 0 prot->rsk_prot->slab_name 1-u64max
PARAM_VALUE 0 prot->slab 4096-ptr_max
PARAM_VALUE 0 prot->slab->align 0,8-4294967295
PARAM_VALUE 0 prot->slab->allocflags 262144-262145,262148-262149,262160-262161,262164-262165
PARAM_VALUE 0 prot->slab->flags 0,8192-4294967295
PARAM_VALUE 0 prot->slab->kobj->name 0-255
PARAM_VALUE 0 prot->slab->kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 prot->slab->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 prot->slab->kobj.state_add_uevent_sent 0
PARAM_VALUE 0 prot->slab->kobj.state_initialized 1
PARAM_VALUE 0 prot->slab->list.prev 81474172537511936
PARAM_VALUE 0 prot->slab->min_partial 5-10
PARAM_VALUE 0 prot->slab->offset 0
PARAM_VALUE 0 prot->slab->refcount 1-s32max
PARAM_VALUE 0 prot->slab->remote_node_defrag_ratio 1000
PARAM_VALUE 0 prot->slab->sheaf_capacity 0-536870907,4294967292-4294967295
CAPPED_DATA 0 prot->obj_size 1
CAPPED_DATA 0 prot->slab->object_size 1
CAPPED_DATA 0 prot->slab->size 1
DATA_SOURCE 0 prot $0
RX_PATH