Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_rtalloc.c xfs_bmap_rtalloc() -> xfs_rtallocate_align()

Type Parameter Key Value
PARAM_VALUE 0 ap 7078978139519856640,7228274775691866112
PARAM_VALUE 0 ap->flags 0,2-u32max
PARAM_VALUE 0 ap->got.br_state 0-1
PARAM_VALUE 0 ap->ip 4096-ptr_max
PARAM_VALUE 0 ap->logflags 0-s32max
PARAM_VALUE 0 ap->offset 0-18446744073709551614
PARAM_VALUE 0 ap->tp 4096-ptr_max
PARAM_VALUE 0 ap->tp->t_mountp 4096-ptr_max
PARAM_VALUE 1 ralen 2254078934741635072
PARAM_VALUE 2 raminlen 8081106278625693696
PARAM_VALUE 3 prod 8729260981150593024
PARAM_VALUE 4 noalign 6379159988516601856
CAPPED_DATA 0 ap->offset 1
CAPPED_DATA 0 ap->tp 1
DATA_SOURCE 0 ap $0
BIT_INFO 0 ap->datatype 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ap->aeof 0-1
USER_DATA 0 ap->got.br_blockcount 0-2097151[c]
USER_DATA 0 ap->got.br_startoff 0-s32max[c]
USER_DATA 0 ap->length 0-2097151[c]
USER_DATA 0 ap->minlen 0-2097151[c]
USER_DATA 0 ap->offset 0-s32max[c]
USER_DATA 0 ap->prev.br_blockcount 0-2097151[c]
USER_DATA 0 ap->prev.br_startoff 0-s32max[c]