Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/lockdep.c __lockdep_free_key_range() -> zap_class()

Type Parameter Key Value
PARAM_VALUE 1 class 4096-ptr_max
BUF_SIZE 0 pf (-1),16416
BUF_SIZE 0 pf (-1),16416
CAPPED_DATA 1 class->key 1
DATA_SOURCE 0 pf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags

kernel/locking/lockdep.c __lockdep_reset_lock() -> zap_class()

Type Parameter Key Value
PARAM_VALUE 1 class 4096-ptr_max
PARAM_VALUE 1 class->key 4096-ptr_max
BUF_SIZE 0 pf (-1),16416
BUF_SIZE 0 pf (-1),16416
CAPPED_DATA 1 class->key 1
DATA_SOURCE 0 pf $0
DATA_SOURCE 1 class r look_up_lock_class
NOCHECK_CALL
LOCK2 flags
LOCK2 irq