Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/time/timer.c call_timer_fn() -> lockdep_copy_map()

Type Parameter Key Value
PARAM_VALUE 0 to 427359577199239168
PARAM_VALUE 1 from 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/workqueue.c process_one_work() -> lockdep_copy_map()

Type Parameter Key Value
PARAM_VALUE 0 to 3785816944639164416
PARAM_VALUE 1 from 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &pool->lock
LOCK2 irq
TYPE_LOCK (struct worker_pool)->lock