Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext2/balloc.c alloc_new_reservation() -> find_next_reservable_window()

Type Parameter Key Value
PARAM_VALUE 0 search_head 0,4096-ptr_max
PARAM_VALUE 1 my_rsv 4096-ptr_max
PARAM_VALUE 2 sb 4096-ptr_max
PARAM_VALUE 2 sb->s_fs_info 4096-ptr_max
BUF_SIZE 0 search_head (-1)-0,48
BUF_SIZE 0 search_head (-1)-0,48
BUF_SIZE 1 my_rsv 0,48
BUF_SIZE 1 my_rsv 0,48
BUF_SIZE 2 sb (-1),2816
BUF_SIZE 2 sb (-1),2816
CAPPED_DATA 1 my_rsv 1
DATA_SOURCE 1 my_rsv $0
DATA_SOURCE 2 sb $2
DATA_SOURCE 4 last_block r ext2_group_last_block_no
STR_LEN 0 search_head (-1),8
STR_LEN 0 search_head (-1),8
STR_LEN 1 my_rsv (-1),8
STR_LEN 1 my_rsv (-1),8
STR_LEN 2 sb (-1),8
STR_LEN 2 sb (-1),8
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 2 sb->s_blocksize
NO_OVERFLOW_SIMPLE 2 sb->s_blocksize_bits
UNITS 2 sb unit_byte
UNITS 3 start_block unit_byte
UNITS 4 last_block unit_byte
LOCK2 rsv_lock
HALF_LOCKED2 &ei->truncate_mutex