Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/blocklayout/blocklayout.c bl_pg_init_read() -> is_aligned_req()

Type Parameter Key Value
PARAM_VALUE 0 pgio 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 alignment 512
PARAM_VALUE 3 is_write 0
BUF_SIZE 1 req (-1),1-s32max
BUF_SIZE 1 req (-1),1-s32max
DATA_SOURCE 0 pgio $0
DATA_SOURCE 1 req $1
NOSPEC 1 req->wb_bytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 req->wb_bytes 0-u32max
USER_DATA 1 req->wb_index 0-2251799813685247
USER_DATA 1 req->wb_offset 0-u32max[c]
USER_DATA 1 req->wb_pgbase 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 pgio->pg_error
NO_OVERFLOW_SIMPLE 0 pgio->pg_inode->i_size
NO_OVERFLOW_SIMPLE 0 pgio->pg_mirror_count
NO_OVERFLOW_SIMPLE 0 pgio->pg_mirror_idx
HALF_LOCKED2 &pool->lock

fs/nfs/blocklayout/blocklayout.c bl_pg_init_write() -> is_aligned_req()

Type Parameter Key Value
PARAM_VALUE 0 pgio 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 alignment 4096
PARAM_VALUE 3 is_write 1
BUF_SIZE 1 req (-1),1-s32max
BUF_SIZE 1 req (-1),1-s32max
DATA_SOURCE 0 pgio $0
DATA_SOURCE 1 req $1
NOSPEC 1 req->wb_bytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 req->wb_bytes 0-u32max
USER_DATA 1 req->wb_index 0-2251799813685247
USER_DATA 1 req->wb_offset 0-u32max[c]
USER_DATA 1 req->wb_pgbase 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 pgio->pg_error
NO_OVERFLOW_SIMPLE 0 pgio->pg_inode->i_size
NO_OVERFLOW_SIMPLE 0 pgio->pg_mirror_count
NO_OVERFLOW_SIMPLE 0 pgio->pg_mirror_idx
UNITS 2 alignment unit_byte
HALF_LOCKED2 &pool->lock

fs/nfs/blocklayout/blocklayout.c bl_pg_test_read() -> is_aligned_req()

Type Parameter Key Value
PARAM_VALUE 0 pgio 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 alignment 512
PARAM_VALUE 3 is_write 0
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 1 req (-1)-s32max
DATA_SOURCE 0 pgio $0
DATA_SOURCE 1 req $2
NOSPEC 1 req->wb_bytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 req->wb_bytes 0-u32max
USER_DATA 1 req->wb_index 0-2251799813685247
USER_DATA 1 req->wb_offset 0-u32max[c]
USER_DATA 1 req->wb_pgbase 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 pgio->pg_error
NO_OVERFLOW_SIMPLE 0 pgio->pg_inode->i_size
NO_OVERFLOW_SIMPLE 0 pgio->pg_mirror_count
NO_OVERFLOW_SIMPLE 0 pgio->pg_mirror_idx

fs/nfs/blocklayout/blocklayout.c bl_pg_test_write() -> is_aligned_req()

Type Parameter Key Value
PARAM_VALUE 0 pgio 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 alignment 4096
PARAM_VALUE 3 is_write 1
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 1 req (-1)-s32max
DATA_SOURCE 0 pgio $0
DATA_SOURCE 1 req $2
NOSPEC 1 req->wb_bytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 req->wb_bytes 0-u32max
USER_DATA 1 req->wb_index 0-2251799813685247
USER_DATA 1 req->wb_offset 0-u32max[c]
USER_DATA 1 req->wb_pgbase 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 pgio->pg_error
NO_OVERFLOW_SIMPLE 0 pgio->pg_inode->i_size
NO_OVERFLOW_SIMPLE 0 pgio->pg_mirror_count
NO_OVERFLOW_SIMPLE 0 pgio->pg_mirror_idx
UNITS 2 alignment unit_byte