Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/cpumap.c cpu_map_kthread_run() -> cpu_map_gro_flush()

Type Parameter Key Value
PARAM_VALUE 0 rcpu 4096-ptr_max
PARAM_VALUE 0 rcpu->kthread_running.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 rcpu->kthread_running.wait.lock.owner (-1)
PARAM_VALUE 0 rcpu->kthread_running.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rcpu->queue 4096-ptr_max
BUF_SIZE 0 rcpu 128
BUF_SIZE 0 rcpu 128
DATA_SOURCE 0 rcpu $0
DATA_SOURCE 1 empty r __ptr_ring_empty
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 bh