Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

kernel/rcu/tree.c __call_rcu_common() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
BUF_SIZE 0 object (-1),1-262144
DATA_SOURCE 0 object $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 16
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 0
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 6923031972754083840
BUF_SIZE 0 object 8
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 1-u64max
DATA_SOURCE 0 object r kmem_cache_alloc_noprof
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
BUF_SIZE 0 object 8
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 6809745852359483392
BUF_SIZE 0 object 4
NOCHECK_CALL

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
BUF_SIZE 0 object 16
DATA_SOURCE 0 object r _kmalloc_noprof
NOCHECK_CALL
UNITS 0 object unit_byte

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
BUF_SIZE 0 object 8
NOCHECK_CALL
UNITS 0 object unit_byte

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 1-u64max
BUF_SIZE 0 object 4096
DATA_SOURCE 0 object r vmalloc_noprof
NOCHECK_CALL
UNITS 0 object unit_byte

kernel/rcu/rcutorture.c rcu_torture_mem_dump_obj() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
BUF_SIZE 0 object 8
NOCHECK_CALL
UNITS 0 object unit_byte

lib/percpu-refcount.c percpu_ref_switch_to_atomic_rcu() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

lib/list_debug.c __list_add_valid_or_report() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
DATA_SOURCE 0 object $2
NOCHECK_CALL

lib/list_debug.c __list_add_valid_or_report() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
DATA_SOURCE 0 object $1
NOCHECK_CALL

lib/list_debug.c __list_del_entry_valid_or_report() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 16045481047390945536
NOCHECK_CALL

lib/list_debug.c __list_del_entry_valid_or_report() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 16045481047390945570
NOCHECK_CALL

lib/list_debug.c __list_del_entry_valid_or_report() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
NOCHECK_CALL

lib/list_debug.c __list_del_entry_valid_or_report() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
NOCHECK_CALL

fs/open.c filp_flush() -> mem_dump_obj()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
BUF_SIZE 0 object (-1)-s32max
DATA_SOURCE 0 object $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL