Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/xfs_log_cil.c xlog_cil_ticket_alloc() -> xlog_ticket_alloc()

Type Parameter Key Value
PARAM_VALUE 0 log->l_mp->m_sb_bp->b_ops->name 4096-ptr_max
PARAM_VALUE 0 log->l_mp->m_sb_bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 log->l_mp->m_sb_bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 log->l_mp->m_sb_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 unit_bytes 0
PARAM_VALUE 2 cnt 1
PARAM_VALUE 3 permanent 0
BUF_SIZE 0 log (-1),1216
BUF_SIZE 0 log (-1),1216
BUF_SIZE 0 log->l_mp (-1),1-s32max
DATA_SOURCE 0 log $0
STR_LEN 0 log->l_mp->m_super (-1),8
RX_PATH
TASK_NOT_RUNNING

fs/xfs/xfs_log.c xfs_log_reserve() -> xlog_ticket_alloc()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
DATA_SOURCE 1 unit_bytes $1
DATA_SOURCE 2 cnt $2
DATA_SOURCE 3 permanent $4
BIT_INFO 3 permanent 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 unit_bytes unit_byte