Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/printk/printk.c read_seqcount_latch_retry() -> raw_read_seqcount_latch_retry()

Type Parameter Key Value
PARAM_VALUE 0 s 2976543711488008192
DATA_SOURCE 0 s $0
DATA_SOURCE 1 start $1
RX_PATH
TASK_NOT_RUNNING

kernel/time/timekeeping.c ktime_get_real_fast_ns() -> raw_read_seqcount_latch_retry()

Type Parameter Key Value
PARAM_VALUE 0 s 6236721210232713216
PARAM_VALUE 0 s->seqcount.sequence 0-s32max
PARAM_VALUE 1 start 0-s32max
CAPPED_DATA 1 start 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/time/timekeeping.c read_seqcount_latch_retry() -> raw_read_seqcount_latch_retry()

Type Parameter Key Value
PARAM_VALUE 0 s 6236721210232713216,7270931975414063104
DATA_SOURCE 0 s $0
DATA_SOURCE 1 start $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/module/tree_lookup.c read_seqcount_latch_retry() -> raw_read_seqcount_latch_retry()

Type Parameter Key Value
PARAM_VALUE 0 s 6521327963152355328
DATA_SOURCE 0 s $0
DATA_SOURCE 1 start $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &jump_label_mutex
HALF_LOCKED2 global &text_mutex
HALF_LOCKED2 rcu_read

kernel/bpf/core.c read_seqcount_latch_retry() -> raw_read_seqcount_latch_retry()

Type Parameter Key Value
PARAM_VALUE 0 s 5658774324763553792
DATA_SOURCE 0 s $0
DATA_SOURCE 1 start $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read