Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/xfs/xfs_log_recover.c xlog_do_recover() -> xfs_sb_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 0 to->sb_dblocks 0-9223372036854775807,u64max
PARAM_VALUE 0 to->sb_rblocks 0-9223372036854775808
BUF_SIZE 0 to 304
BUF_SIZE 1 from s32min-(-2),1-s32max
CAPPED_DATA 0 to->sb_blocklog 1
CAPPED_DATA 0 to->sb_blocksize 1
CAPPED_DATA 0 to->sb_dblocks 1
CAPPED_DATA 0 to->sb_sectsize 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bp->b_sema
HALF_LOCKED2 &fc->uapi_mutex
TYPE_LOCK (struct xfs_buf)->b_sema

fs/xfs/xfs_buf_item_recover.c xlog_recover_do_primary_sb_buffer() -> xfs_sb_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 0 to->sb_agcount 1-u32max
BUF_SIZE 1 from s32min-(-2),1-s32max
BUF_SIZE 1 from s32min-(-2),1-s32max
NOCHECK_CALL
LOCK2 &bp->b_sema

fs/xfs/xfs_mount.c xfs_readsb() -> xfs_sb_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
BUF_SIZE 0 to 304
BUF_SIZE 1 from s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &*bpp->b_sema
HALF_LOCKED2 &fc->uapi_mutex