Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/dir.c dir_double_exhash() -> gfs2_dir_get_hash_table()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_depth 0-16
PARAM_VALUE 0 ip->i_diskflags 2-u32max
PARAM_VALUE 0 ip->i_rw_mutex.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ip->i_rw_mutex.first_waiter->type 0-1
DATA_SOURCE 0 ip $0
BIT_INFO 0 ip->i_diskflags 0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sdp->sd_log_flush_lock
TYPE_LOCK (struct gfs2_sbd)->sd_log_flush_lock

fs/gfs2/dir.c dir_e_read() -> gfs2_dir_get_hash_table()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
DATA_SOURCE 0 ip r GFS2_I
RX_PATH
TASK_NOT_RUNNING

fs/gfs2/dir.c get_leaf_nr() -> gfs2_dir_get_hash_table()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
DATA_SOURCE 0 ip $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdp->sd_log_flush_lock

fs/gfs2/dir.c gfs2_dir_exhash_dealloc() -> gfs2_dir_get_hash_table()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_diskflags 2-u32max
PARAM_VALUE 0 ip->i_gl 4096-ptr_max
DATA_SOURCE 0 ip $0
BIT_INFO 0 ip->i_diskflags 0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING