Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jbd2/transaction.c jbd2_journal_get_undo_access() -> jbd2_write_access_granted()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->h_aborted 0
PARAM_VALUE 0 handle->h_transaction 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 1 bh 4096-ptr_max
PARAM_VALUE 2 undo 1
BUF_SIZE 0 handle (-1),1-s32max
BUF_SIZE 0 handle (-1),1-s32max
BUF_SIZE 1 bh (-1)-s32max
BUF_SIZE 1 bh (-1)-s32max
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 bh $1
STR_LEN 0 handle (-1)-0
STR_LEN 0 handle (-1)-0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &alloc_inode->i_rwsem
HALF_LOCKED2 &bm_inode->i_rwsem
HALF_LOCKED2 &main_bm_inode->i_rwsem

fs/jbd2/transaction.c jbd2_journal_get_write_access() -> jbd2_write_access_granted()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->h_aborted 0
PARAM_VALUE 0 handle->h_transaction 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_fs_dev 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_fs_dev->bd_mapping 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 2 undo 0
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 0 handle (-1)-s32max
BUF_SIZE 1 bh (-1)-s32max
BUF_SIZE 1 bh (-1)-s32max
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 bh $1
STR_LEN 0 handle (-1)-24,26-27,29,31-32,63,99,115,254
STR_LEN 0 handle (-1)-24,26-27,29,31-32,63,99,115,254
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *bh->b_data 0-255
NO_OVERFLOW_SIMPLE 1 bh->b_size
USER_PTR 1 bh->b_data