Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/huge_memory.c __thp_vma_allowable_orders() -> shmem_allowable_huge_orders()

Type Parameter Key Value
PARAM_VALUE 1 vma 4096-ptr_max
PARAM_VALUE 1 vma->vm_mm 1-u64max
PARAM_VALUE 3 write_end 0
BUF_SIZE 1 vma (-1),1-s32max
BUF_SIZE 1 vma (-1),1-s32max
CAPPED_DATA 1 vma 1
CAPPED_DATA 1 vma->vm_start 1
DATA_SOURCE 1 vma $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 vma->shared.rb_subtree_last 0-9007199254740989,u64max[u]
USER_DATA 1 vma->vm_pgoff 0-4503599627370495[c]
USER_DATA 2 index 0-4503599627370495[c]
NO_OVERFLOW_SIMPLE 1 vma->vm_end
NO_OVERFLOW_SIMPLE 1 vma->vm_file->f_mapping->host->i_size
NO_OVERFLOW_SIMPLE 1 vma->vm_start
HALF_LOCKED2 &m->lock

mm/shmem.c shmem_get_folio_gfp() -> shmem_allowable_huge_orders()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 vma 0,4096-ptr_max
PARAM_VALUE 2 index 0-2251799813685247
PARAM_VALUE 4 shmem_huge_force 0
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode (-1),1-s32max
BUF_SIZE 0 inode->i_mapping->a_ops (-1),152
BUF_SIZE 0 inode->i_private (-1),40
CAPPED_DATA 0 inode->i_mapping 1
CAPPED_DATA 2 index 1
CAPPED_DATA 2 index 1
DATA_SOURCE 0 inode $0
DATA_SOURCE 2 index $1
DATA_SOURCE 3 write_end $2
FUZZY_MAX 2 index 2251799813685247
NOSPEC 0 inode->i_size
NOSPEC 2 index
NOSPEC 2 index
HARD_MAX 2 index 2251799813685247
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 index 0-2251799813685247[c]
USER_DATA 0 inode->i_blocks 0-36028797024823343,18428729675200069633-u64max
USER_DATA 0 inode->i_bytes 0-65023[c]
USER_DATA 0 inode->i_mode 0-u16max
USER_DATA 0 inode->i_sb->s_flags 0-u64max[c]
USER_DATA 0 inode->i_size (-9223372036854775807)-(-4),0-s64max
USER_DATA 2 index 0-2251799813685247[c]
NO_OVERFLOW_SIMPLE 0 inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 inode->i_mapping->host->i_size
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 inode->i_sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 1 vma->vm_end
NO_OVERFLOW_SIMPLE 1 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 1 vma->vm_start
UNITS 2 index unit_page
UNITS 3 write_end unit_byte
HALF_LOCKED2 0 &inode->i_rwsem