Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/rv/rv.c create_monitor_dir() -> reactor_populate_monitor()

Type Parameter Key Value
PARAM_VALUE 0 mon 1615161431328583680,1638829431089729536,3355867084241821696,5870215565243867136,6334467262794108928
PARAM_VALUE 0 mon->parent 0,1615161431328583680
PARAM_VALUE 0 mon->parent->parent 0
PARAM_VALUE 1 root 4096-ptr_max
PARAM_VALUE 1 root->d_children->first->pprev 1-u64max
PARAM_VALUE 1 root->d_children.first 4096-ptr_max
PARAM_VALUE 1 root->d_children.first->pprev 0
PARAM_VALUE 1 root->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 1 root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 root->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 root->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 root->d_inode->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 1 root->d_sb 4096-ptr_max
PARAM_VALUE 1 root->d_sb->__s_d_op 0,4096-ptr_max
PARAM_VALUE 1 root->d_sb->s_fs_info->s_bmap_bits 0-4294967295
PARAM_VALUE 1 root->d_sb->s_fs_info->s_bmap_count 0-4294967295
PARAM_VALUE 1 root->d_sb->s_fs_info->s_data_blksize 0-4294967295
PARAM_VALUE 1 root->d_sb->s_fs_info->s_hashsize s32min-s32max
PARAM_VALUE 1 root->d_sb->s_fs_info->s_last_bmap 0-4294967295
PARAM_VALUE 1 root->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 1 root->d_sb->s_fs_info->s_partition_size s32min-s32max
PARAM_VALUE 1 root->d_sb->s_fs_info->s_reserved s32min-s32max
PARAM_VALUE 1 root->d_sb->s_fs_info->s_root_block 0-4294967295
PARAM_VALUE 1 root->d_sb->s_fs_info->work_queued s32min-s32max
CAPPED_DATA 1 root 1
DATA_SOURCE 0 mon $0
DATA_SOURCE 1 root r tracefs_create_dir
STR_LEN 0 mon->name 31
LOCK2 _T->lock