Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/fork.c copy_process() -> lockdep_init_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
CAPPED_DATA 0 task->mempolicy 1
DATA_SOURCE 0 task r dup_task_struct
BIT_INFO 0 task->flags 0x40,0xffffffffffffffff
MEM_ZERO 0 &task->ioac
MEM_ZERO 0 &task->irqtrace
MEM_ZERO 0 &task->pending.signal
MEM_ZERO 0 &task->posix_cputimers
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/fork.c fork_init() -> lockdep_init_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4931338248183341056
NOCHECK_CALL

kernel/locking/lockdep.c lockdep_reset() -> lockdep_init_task()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 flags
LOCK2 irq