Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/jbd2/revoke.c jbd2_journal_revoke() -> jbd2_journal_forget()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->h_invalid 0
PARAM_VALUE 0 handle->h_revoke_credits 1-s32max
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_superblock 4096-ptr_max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_checksum_type 4
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_errno 0-4294967187,4294967189-u32max
PARAM_VALUE 0 handle->h_transaction->t_journal->j_superblock->s_header.h_blocktype 1-2,5
PARAM_VALUE 1 bh 4096-ptr_max
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 $2
FUZZY_MAX 0 handle->h_revoke_credits 1
STR_LEN 0 handle (-1)-1
STR_LEN 0 handle (-1)-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ext4/ext4_jbd2.c __ext4_forget() -> jbd2_journal_forget()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->h_invalid 0
PARAM_VALUE 1 bh 4096-ptr_max
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 $2
DATA_SOURCE 1 bh $5
STR_LEN 0 handle (-1)-1
STR_LEN 0 handle (-1)-1
RX_PATH
TASK_NOT_RUNNING