Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sched/sch_ingress.c clsact_destroy() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress->parent 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress->parent->count 0-63
PARAM_VALUE 1 entry 0
PARAM_VALUE 2 ingress 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 global &rtnl_mutex

net/sched/sch_ingress.c clsact_destroy() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->tcx_egress 4096-ptr_max
PARAM_VALUE 0 dev->tcx_egress->parent 4096-ptr_max
PARAM_VALUE 0 dev->tcx_egress->parent->count 0-63
PARAM_VALUE 1 entry 0
PARAM_VALUE 2 ingress 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 global &rtnl_mutex

net/sched/sch_ingress.c clsact_init() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress->parent 4096-ptr_max
PARAM_VALUE 1 entry 4096-ptr_max
PARAM_VALUE 2 ingress 1
BUF_SIZE 1 entry (-1),520
BUF_SIZE 1 entry (-1),520
CAPPED_DATA 0 dev->tcx_ingress 1
DATA_SOURCE 1 entry r tcx_entry_fetch_or_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

net/sched/sch_ingress.c clsact_init() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->tcx_egress->parent 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress->parent 4096-ptr_max
PARAM_VALUE 1 entry 4096-ptr_max
PARAM_VALUE 2 ingress 0
BUF_SIZE 1 entry (-1),520
BUF_SIZE 1 entry (-1),520
CAPPED_DATA 0 dev->tcx_egress 1
DATA_SOURCE 1 entry r tcx_entry_fetch_or_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

net/sched/sch_ingress.c ingress_destroy() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress->parent 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress->parent->count 0-63
PARAM_VALUE 1 entry 0
PARAM_VALUE 2 ingress 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 global &rtnl_mutex

net/sched/sch_ingress.c ingress_init() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->tcx_ingress->parent 4096-ptr_max
PARAM_VALUE 1 entry 4096-ptr_max
PARAM_VALUE 2 ingress 1
BUF_SIZE 1 entry (-1),520
BUF_SIZE 1 entry (-1),520
CAPPED_DATA 0 dev->tcx_ingress 1
DATA_SOURCE 1 entry r tcx_entry_fetch_or_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

kernel/bpf/tcx.c tcx_link_prog_attach() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 entry 4096-ptr_max
NOCHECK_CALL
LOCK2 global &rtnl_mutex

kernel/bpf/tcx.c tcx_link_release() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 entry 0,4096-ptr_max
PARAM_VALUE 1 entry->parent 4096-ptr_max
PARAM_VALUE 1 entry->parent->count 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex

kernel/bpf/tcx.c tcx_prog_attach() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 entry 4096-ptr_max
CAPPED_DATA 0 dev->ifindex 1
DATA_SOURCE 0 dev r __dev_get_by_index
NOCHECK_CALL
LOCK2 global &rtnl_mutex

kernel/bpf/tcx.c tcx_prog_detach() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 entry 0,4096-ptr_max
PARAM_VALUE 1 entry->parent 4096-ptr_max
PARAM_VALUE 1 entry->parent->count 0-s32max
CAPPED_DATA 0 dev->ifindex 1
DATA_SOURCE 0 dev r __dev_get_by_index
NOCHECK_CALL
LOCK2 global &rtnl_mutex

kernel/bpf/tcx.c tcx_uninstall() -> tcx_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.p->dead 0-1
PARAM_VALUE 0 dev->dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->netdev_ops 4096-ptr_max
PARAM_VALUE 0 dev->netdev_ops->ndo_uninit 0,4096-ptr_max
PARAM_VALUE 0 dev->qdisc 7935956897246715904
PARAM_VALUE 1 entry 0,4096-ptr_max
CAPPED_DATA 0 dev->ingress_queue 1
CAPPED_DATA 0 dev->num_tx_queues 1
CAPPED_DATA 0 dev->tcx_ingress 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 ingress $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &ovs_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &dev->lock