Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/exfat/dir.c exfat_get_dentry_set() -> __exfat_get_dentry_set()

Type Parameter Key Value
PARAM_VALUE 0 es 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_bdev->bd_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 2 p_dir 4096-ptr_max
PARAM_VALUE 4 num_entries 0,2
BUF_SIZE 1 sb (-1),80,2816
BUF_SIZE 1 sb (-1),80,2816
DATA_SOURCE 0 es $0
DATA_SOURCE 1 sb $1
DATA_SOURCE 2 p_dir $2
DATA_SOURCE 3 entry $3
DATA_SOURCE 4 num_entries $4
STR_LEN 0 es (-1),8
STR_LEN 0 es (-1),8
STR_LEN 1 sb (-1),8
STR_LEN 1 sb (-1),8
HARD_MAX 4 num_entries 2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 1 sb->s_blocksize
NO_OVERFLOW_SIMPLE 1 sb->s_blocksize_bits
UNITS 1 sb unit_byte
HALF_LOCKED2 &target->i_rwsem

fs/exfat/dir.c exfat_get_empty_dentry_set() -> __exfat_get_dentry_set()

Type Parameter Key Value
PARAM_VALUE 0 es 1512238112902008832,3220077936394158080,5792618027727773696,5986759141478764544
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 2 p_dir 897645593035104256
PARAM_VALUE 2 p_dir->dir 0-4294967294
PARAM_VALUE 3 entry 0-s32max
CAPPED_DATA 3 entry 1
DATA_SOURCE 0 es $0
DATA_SOURCE 1 sb $1
DATA_SOURCE 2 p_dir $2
DATA_SOURCE 3 entry $3
DATA_SOURCE 4 num_entries $4
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 es->sb->s_blocksize
UNITS 1 sb unit_byte
HALF_LOCKED2 &sbi->s_lock