Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/pstore/zone.c psz_flush_dirty_zone() -> psz_zone_write()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 1 flush_mode 3
PARAM_VALUE 2 buf 0
PARAM_VALUE 3 len 0
PARAM_VALUE 4 off 0
BUF_SIZE 0 zone->oldbuf (-1),12-s32max
DATA_SOURCE 0 zone $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &psi->read_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 _T->lock

fs/pstore/zone.c psz_kmsg_erase() -> psz_zone_write()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->buffer 4096-ptr_max
PARAM_VALUE 0 zone->buffer->datalen.counter 0
PARAM_VALUE 1 flush_mode 2
PARAM_VALUE 2 buf 0
PARAM_VALUE 3 len 0
PARAM_VALUE 4 off 0
DATA_SOURCE 0 zone $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &target->i_rwsem
LOCK2 _T->lock
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/pstore/zone.c psz_kmsg_write_record() -> psz_zone_write()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->buffer 4096-ptr_max
PARAM_VALUE 0 zone->buffer->data 4096-ptr_max
PARAM_VALUE 0 zone->buffer->data->counter 0-4294967295
PARAM_VALUE 0 zone->buffer->data->magic 1308375781
PARAM_VALUE 0 zone->buffer->data->reason 1-4
PARAM_VALUE 0 zone->oldbuf 4096-ptr_max
PARAM_VALUE 1 flush_mode 3
PARAM_VALUE 3 len 0
PARAM_VALUE 4 off 40
BUF_SIZE 0 zone->buffer 0-u32max
BUF_SIZE 2 buf 1024-s32max
BUF_SIZE 2 buf 1024-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 2 buf unit_byte
UNITS 3 len unit_byte
UNITS 4 off unit_byte
LOCK2 flags
LOCK2 global &psinfo->buf_lock
LOCK2 rcu_read
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct pstore_info)->buf_lock

fs/pstore/zone.c psz_move_zone() -> psz_zone_write()

Type Parameter Key Value
PARAM_VALUE 1 flush_mode 3
PARAM_VALUE 3 len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 4 off 0
DATA_SOURCE 0 zone $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &psi->read_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &efivars_lock
HALF_LOCKED2 global &psinfo_lock
TYPE_LOCK (struct pstore_info)->read_mutex

fs/pstore/zone.c psz_record_erase() -> psz_zone_write()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->buffer 4096-ptr_max
PARAM_VALUE 0 zone->buffer->datalen.counter 0
PARAM_VALUE 0 zone->oldbuf 0
PARAM_VALUE 1 flush_mode 2
PARAM_VALUE 2 buf 0
PARAM_VALUE 3 len 0
PARAM_VALUE 4 off 0
DATA_SOURCE 0 zone $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &target->i_rwsem
LOCK2 _T->lock
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/pstore/zone.c psz_record_write() -> psz_zone_write()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->buffer 4096-ptr_max
PARAM_VALUE 0 zone->buffer->datalen.counter s32min-(-2),0-s32max
PARAM_VALUE 0 zone->buffer_size 1-u64max
PARAM_VALUE 1 flush_mode 1
PARAM_VALUE 3 len 0-18446744073709551614
PARAM_VALUE 4 off 0-s32max,18446744071562067968-u64max
BUF_SIZE 2 buf (-1),1-1000000000,2147479552
BUF_SIZE 2 buf (-1),1-1000000000,2147479552
CAPPED_DATA 0 zone->buffer_size 1
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 zone $0
PARAM_COMPARE 3 len < $0->buffer_size
PARAM_COMPARE 3 len < $0->buffer_size
BIT_INFO 4 off 0x0,0xffffffff
BIT_INFO 4 off 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 buf 4096-ptr_max[c][u]
USER_DATA 2 *buf 0-255
UNITS 2 buf unit_byte
UNITS 3 len unit_byte
UNITS 4 off unit_byte
USER_PTR 2 buf
HALF_LOCKED2 flags
HALF_LOCKED2 global &pmsg_lock

fs/pstore/zone.c psz_record_write() -> psz_zone_write()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->buffer 4096-ptr_max
PARAM_VALUE 0 zone->buffer->start.counter 0-s32max
PARAM_VALUE 0 zone->buffer_size 1-u64max
PARAM_VALUE 1 flush_mode 1
PARAM_VALUE 3 len 0-s32max,18446744071562067968-u64max
PARAM_VALUE 4 off 0-s32max,18446744071562067968-u64max
BUF_SIZE 2 buf (-1),1-1000000000,2147479552
BUF_SIZE 2 buf (-1),1-1000000000,2147479552
CAPPED_DATA 0 zone->buffer_size 1
CAPPED_DATA 4 off 1
CAPPED_DATA 4 off 1
DATA_SOURCE 0 zone $0
FUZZY_MAX 4 off 0
PARAM_COMPARE 3 len <= $0->buffer_size
BIT_INFO 4 off 0x0,0xffffffff
BIT_INFO 4 off 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 buf 4096-ptr_max[c][u]
USER_DATA 2 *buf 0-255
USER_DATA 3 len 0-s32max,18446744071562067968-u64max[c]
UNITS 2 buf unit_byte
UNITS 3 len unit_byte
UNITS 4 off unit_byte
USER_PTR 2 buf
HALF_LOCKED2 flags
HALF_LOCKED2 global &pmsg_lock

fs/pstore/zone.c psz_record_write() -> psz_zone_write()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->buffer 4096-ptr_max
PARAM_VALUE 0 zone->buffer->datalen.counter s32min-(-1),1-s32max
PARAM_VALUE 0 zone->buffer->start.counter 0-s32max
PARAM_VALUE 0 zone->buffer_size 1-u64max
PARAM_VALUE 1 flush_mode 2
PARAM_VALUE 2 buf 0
PARAM_VALUE 3 len 0
PARAM_VALUE 4 off 0
CAPPED_DATA 0 zone->buffer_size 1
DATA_SOURCE 0 zone $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &pmsg_lock