Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jfs/jfs_logmgr.c lbmIODone() -> lbmRedrive()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->l_flag 2-u32max
BIT_INFO 0 bp->l_flag 0x2,0xffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &jfsLCacheLock

fs/jfs/jfs_logmgr.c lbmWrite() -> lbmRedrive()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->l_flag 22,130,134
PARAM_VALUE 0 bp->l_ldata 4096-ptr_max
BUF_SIZE 0 bp (-1)-s32max
BUF_SIZE 0 bp (-1)-s32max
BUF_SIZE 0 bp->l_wqnext (-1)-s32max
CAPPED_DATA 0 bp 1
DATA_SOURCE 0 bp $1
STR_LEN 0 bp (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bp (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bp->l_wqnext (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bp->l_wqnext->l_wqnext (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
HARD_MAX 0 bp->l_flag 134
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 bp unit_jiffy
LOCK2 &log->gclock
HALF_LOCKED2 flags
TYPE_LOCK (struct jfs_log)->gclock