Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_hfsc.c rtsc_min() -> seg_x2y()

Type Parameter Key Value
PARAM_VALUE 1 sm 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 x 0-18446744073692774400[c]
USER_DATA 1 sm 2-4611686018[c]
HALF_LOCKED2 bh

net/sched/sch_hfsc.c rtsc_x2y() -> seg_x2y()

Type Parameter Key Value
PARAM_VALUE 0 x 1-u64max
CAPPED_DATA 0 x 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh

net/sched/sch_hfsc.c rtsc_x2y() -> seg_x2y()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh

net/sched/sch_hfsc.c sc2isc() -> seg_x2y()

Type Parameter Key Value
PARAM_VALUE 1 sm 0,2-1180591620717
DATA_SOURCE 0 x r d2dx
DATA_SOURCE 1 sm r m2sm
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 x 0-67108863985[c]
USER_DATA 1 sm 0,2-4611686018[c]
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 bh
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