Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ext4/ialloc.c ext4_end_bitmap_read() -> set_bitmap_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
STR_LEN 0 bh (-1)
STR_LEN 0 bh (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/ialloc.c ext4_read_inode_bitmap() -> set_bitmap_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh r sb_getblk
MEM_ZERO 0 bh->b_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sb

fs/ext4/ialloc.c ext4_read_inode_bitmap() -> set_bitmap_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh r sb_getblk
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/mballoc-test.c ext4_wait_block_bitmap_stub() -> set_bitmap_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
DATA_SOURCE 0 bh $2
NOCHECK_CALL

fs/ext4/balloc.c ext4_read_block_bitmap_nowait() -> set_bitmap_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
CAPPED_DATA 0 bh->b_size 1
DATA_SOURCE 0 bh r sb_getblk
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sb

fs/ext4/balloc.c ext4_read_block_bitmap_nowait() -> set_bitmap_uptodate()

Type Parameter Key Value
PARAM_VALUE 0 bh 4096-ptr_max
BUF_SIZE 0 bh (-1)-s32max
BUF_SIZE 0 bh (-1)-s32max
CAPPED_DATA 0 bh 1
DATA_SOURCE 0 bh r sb_getblk
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL