Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_api.c __tc_modify_qdisc() -> check_loop()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->ops 4096-ptr_max
PARAM_VALUE 0 q->ops->id 4096-ptr_max
PARAM_VALUE 0 q->parent 1-u32max
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 1 p->ops 4096-ptr_max
PARAM_VALUE 1 p->ops->cl_ops 4096-ptr_max
PARAM_VALUE 2 depth 0
CAPPED_DATA 0 q->parent 1
DATA_SOURCE 0 q r qdisc_lookup
DATA_SOURCE 1 p r qdisc_lookup
PARAM_COMPARE 0 q != $1
PARAM_COMPARE 1 p != $0
PARAM_COMPARE 1 p != $0
BIT_INFO 0 q->flags 0x0,0xfffffffd
BIT_INFO 1 p->flags 0x0,0xfffffffd
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/sched/sch_api.c check_loop_fn() -> check_loop()

Type Parameter Key Value
PARAM_VALUE 0 q 1-u64max
PARAM_VALUE 2 depth (-2147483631)-8
PARAM_COMPARE 0 q != $1
PARAM_COMPARE 1 p != $0
PARAM_COMPARE 1 p != $0
RX_PATH
TASK_NOT_RUNNING