Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_fdb_add() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->fdb_entries 0-480
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 entry 1071110631403945984
PARAM_VALUE 1 entry->age 0
PARAM_VALUE 1 entry->idx 0
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->pass_blocked 0
PARAM_VALUE 1 entry->reprio_en 0
PARAM_VALUE 1 entry->reprio_tc 0
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 hellcreek->fdb_entries 1
CAPPED_DATA 0 &hellcreek->reg_lock 1
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 &dp->addr_lists_lock
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_fdb_add() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->fdb_entries 1-480
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 entry 1071110631403945984
PARAM_VALUE 1 entry->age 0-15
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->pass_blocked 0
PARAM_VALUE 1 entry->reprio_en 0
PARAM_VALUE 1 entry->reprio_tc 0
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 hellcreek->fdb_entries 1
CAPPED_DATA 0 &hellcreek->reg_lock 1
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 &dp->addr_lists_lock
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_fdb_del() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->fdb_entries 1-480
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 entry 4951956671772844032
PARAM_VALUE 1 entry->age 0-15
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->pass_blocked 0
PARAM_VALUE 1 entry->reprio_en 0
PARAM_VALUE 1 entry->reprio_tc 0
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 hellcreek->fdb_entries 1
CAPPED_DATA 0 &hellcreek->reg_lock 1
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 &dp->addr_lists_lock
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup_fdb() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hellcreek->swcfg 4656
PARAM_VALUE 1 entry 2700689939168088064
PARAM_VALUE 1 entry->age 0
PARAM_VALUE 1 entry->idx 0
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->is_static 1
PARAM_VALUE 1 entry->pass_blocked 0
PARAM_VALUE 1 entry->portmask 3
PARAM_VALUE 1 entry->reprio_en 1
PARAM_VALUE 1 entry->reprio_tc 6
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 &hellcreek->reg_lock 1
DATA_SOURCE 0 hellcreek $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 global &dsa2_mutex
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup_fdb() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hellcreek->swcfg 4656
PARAM_VALUE 1 entry 5444480477260058624
PARAM_VALUE 1 entry->age 0
PARAM_VALUE 1 entry->idx 0
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->is_static 1
PARAM_VALUE 1 entry->pass_blocked 0
PARAM_VALUE 1 entry->portmask 3
PARAM_VALUE 1 entry->reprio_en 1
PARAM_VALUE 1 entry->reprio_tc 6
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 &hellcreek->reg_lock 1
DATA_SOURCE 0 hellcreek $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 global &dsa2_mutex
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup_fdb() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hellcreek->swcfg 4656
PARAM_VALUE 1 entry 1800246253273509888
PARAM_VALUE 1 entry->age 0
PARAM_VALUE 1 entry->idx 0
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->is_static 1
PARAM_VALUE 1 entry->pass_blocked 0
PARAM_VALUE 1 entry->portmask 3
PARAM_VALUE 1 entry->reprio_en 1
PARAM_VALUE 1 entry->reprio_tc 6
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 &hellcreek->reg_lock 1
DATA_SOURCE 0 hellcreek $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 global &dsa2_mutex
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup_fdb() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hellcreek->swcfg 4656
PARAM_VALUE 1 entry 4166784647437123584
PARAM_VALUE 1 entry->age 0
PARAM_VALUE 1 entry->idx 0
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->is_static 1
PARAM_VALUE 1 entry->pass_blocked 1
PARAM_VALUE 1 entry->portmask 3
PARAM_VALUE 1 entry->reprio_en 1
PARAM_VALUE 1 entry->reprio_tc 6
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 &hellcreek->reg_lock 1
DATA_SOURCE 0 hellcreek $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 global &dsa2_mutex
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup_fdb() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hellcreek->swcfg 4656
PARAM_VALUE 1 entry 4764557256491941888
PARAM_VALUE 1 entry->age 0
PARAM_VALUE 1 entry->idx 0
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->is_static 1
PARAM_VALUE 1 entry->pass_blocked 1
PARAM_VALUE 1 entry->portmask 3
PARAM_VALUE 1 entry->reprio_en 1
PARAM_VALUE 1 entry->reprio_tc 6
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 &hellcreek->reg_lock 1
DATA_SOURCE 0 hellcreek $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 global &dsa2_mutex
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup_fdb() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hellcreek->swcfg 4656
PARAM_VALUE 1 entry 6923067243656101888
PARAM_VALUE 1 entry->age 0
PARAM_VALUE 1 entry->idx 0
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->is_static 1
PARAM_VALUE 1 entry->pass_blocked 1
PARAM_VALUE 1 entry->portmask 3
PARAM_VALUE 1 entry->reprio_en 1
PARAM_VALUE 1 entry->reprio_tc 6
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 &hellcreek->reg_lock 1
DATA_SOURCE 0 hellcreek $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 global &dsa2_mutex
TYPE_LOCK (struct hellcreek)->reg_lock

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup_fdb() -> __hellcreek_fdb_add()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hellcreek->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hellcreek->reg_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hellcreek->swcfg 4656
PARAM_VALUE 1 entry 4424524241597341696
PARAM_VALUE 1 entry->age 0
PARAM_VALUE 1 entry->idx 0
PARAM_VALUE 1 entry->is_obt 0
PARAM_VALUE 1 entry->is_static 1
PARAM_VALUE 1 entry->pass_blocked 1
PARAM_VALUE 1 entry->portmask 3
PARAM_VALUE 1 entry->reprio_en 1
PARAM_VALUE 1 entry->reprio_tc 6
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
BUF_SIZE 0 hellcreek s32min-(-2),1-s32max
CAPPED_DATA 0 &hellcreek->reg_lock 1
DATA_SOURCE 0 hellcreek $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 hellcreek unit_byte
LOCK2 0 &hellcreek->reg_lock
HALF_LOCKED2 global &dsa2_mutex
TYPE_LOCK (struct hellcreek)->reg_lock