Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

kernel/trace/trace_events_user.c create_user_tracefs() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
BUF_SIZE 0 dentry (-1),1-s32max
BUF_SIZE 0 dentry (-1),1-s32max
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r tracefs_create_file
NOCHECK_CALL

kernel/trace/trace_osnoise.c init_tracefs() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r tracefs_create_dir
NOCHECK_CALL

kernel/trace/trace_osnoise.c osnoise_create_cpu_timerlat_fd() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r tracefs_create_dir
NOCHECK_CALL

kernel/trace/trace_remote.c trace_remote_init_tracefs() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r tracefs_create_dir
NOCHECK_CALL
LOCK2 _T->lock

kernel/trace/trace_remote.c trace_remote_init_tracefs() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 0,4096-ptr_max
PARAM_VALUE 0 dentry->d_children->first->pprev 1-u64max
PARAM_VALUE 0 dentry->d_children.first->pprev 0
PARAM_VALUE 0 dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dentry->d_sb->__s_d_op 0,4096-ptr_max
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r tracefs_create_dir
NOCHECK_CALL
LOCK2 _T->lock

kernel/trace/trace.c __remove_instance() -> tracefs_remove()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

kernel/trace/trace.c trace_array_create_dir() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r tracefs_create_dir
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

kernel/trace/trace.c trace_array_create_dir() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_children->first->pprev 1-u64max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_bmap_bits 0-4294967295
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_bmap_count 0-4294967295
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_data_blksize 0-4294967295
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_hashsize s32min-s32max
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_last_bmap 0-4294967295
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_partition_size s32min-s32max
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_reserved s32min-s32max
PARAM_VALUE 0 dentry->d_sb->s_fs_info->s_root_block 0-4294967295
PARAM_VALUE 0 dentry->d_sb->s_fs_info->work_queued s32min-s32max
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r tracefs_create_dir
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

kernel/trace/trace_stat.c destroy_session() -> tracefs_remove()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &all_stat_sessions_mutex

kernel/trace/rv/rv.c __free_rv_remove() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 1-u64max
BIT_INFO 0 dentry 0x0,0x7fffffffffffffff
BIT_INFO 0 dentry 0x0,0x7fffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 _T->lock

kernel/trace/rv/rv.c destroy_monitor_dir() -> tracefs_remove()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 _T->lock

kernel/trace/rv/rv_reactors.c __free_rv_remove() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 1-u64max
BIT_INFO 0 dentry 0x0,0x7fffffffffffffff
BIT_INFO 0 dentry 0x0,0x7fffffffffffffff
NOCHECK_CALL

kernel/trace/trace_hwlat.c init_tracefs() -> tracefs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r tracefs_create_dir
NOCHECK_CALL