__ail2_empty identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/gfs2/log.c, line 394 (as a function)

Referenced in 1 files:

fs/gfs2/log.c
- line 413
- line 418

Smatch caller information:

fs/gfs2/log.c ail2_empty() -> __ail2_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sdp	4096-ptr_max
PARAM_VALUE	0	sdp->sd_ail2_list.next->next	4096-ptr_max
PARAM_VALUE	0	sdp->sd_ail2_list.next->prev	4096-ptr_max
PARAM_VALUE	0	sdp->sd_ail_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sdp->sd_delete_wq->flush_color	s32min-s32max
PARAM_VALUE	0	sdp->sd_delete_wq->work_color	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc	4096-ptr_max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio	0,4096-ptr_max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_end_io	6431644242391375872
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->_refcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->codec->users	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->header_page->_refcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->header_page->page_type	0-4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->page_type	0-4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private	4096-ptr_max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_count.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->_entire_mapcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->_large_mapcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->_mapcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->page.zone_device_data->page_type	4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->page.zone_device_data->private	0-4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->private->codec->users	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->private->hdr.front_len	0-4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->private->wb_kref	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.callback	6452105974677680128
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.callback_thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->cache->zone->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->callback_thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->journal->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->logical.zone->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.priority	0-2
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.result	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.vdo->thread_config.admin_thread	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->context->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->sd_log_in_flight.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->vio.completion.callback_thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->vio.completion.priority	0-2
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->vio.completion.result	s32min-s32max
PARAM_VALUE	0	sdp->sd_log_flush_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sdp->sd_log_flush_lock.first_waiter->type	0-1
PARAM_VALUE	0	sdp->sd_log_idle	0-1
PARAM_VALUE	0	sdp->sd_log_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sdp->sd_log_ordered.next	56,4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_ordered.next->next	0
PARAM_VALUE	0	sdp->sd_log_ordered.next->prev	4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_ordered.next->prev->prev	791686512320380928
PARAM_VALUE	0	sdp->sd_log_ordered.prev	4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_ordered.prev->next	4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_ordered.prev->prev	4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_tr	0
PARAM_VALUE	0	sdp->sd_ordered_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sdp->sd_vfs	4096-ptr_max
PARAM_VALUE	0	sdp->sd_vfs->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	sdp->sd_vfs->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	0	sdp->sd_vfs->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	1	tr	4096-ptr_max
PARAM_VALUE	1	tr->tr_first	0-4294967294
BUF_SIZE	0	sdp	(-1),1-s32max
BUF_SIZE	0	sdp	(-1),1-s32max
CAPPED_DATA	1	tr->tr_first	1
CAPPED_DATA	1	&tr->tr_list	1
DATA_SOURCE	0	sdp	$0
FUZZY_MAX	0	sdp->sd_log_idle	1
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec
NO_OVERFLOW_SIMPLE	0	sdp->sd_logd_process->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	sdp->sd_quotad_process->dl.pi_se->dl_runtime
UNITS	0	sdp	unit_byte
LOCK2	0	&sdp->sd_ail_lock
LOCK2	0	&sdp->sd_log_flush_lock
TYPE_LOCK		(struct gfs2_sbd)->sd_ail_lock
TYPE_LOCK		(struct gfs2_sbd)->sd_log_flush_lock

fs/gfs2/log.c ail2_empty() -> __ail2_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	sdp	4096-ptr_max
PARAM_VALUE	0	sdp->sd_ail2_list.next->next	4096-ptr_max
PARAM_VALUE	0	sdp->sd_ail2_list.next->prev	4096-ptr_max
PARAM_VALUE	0	sdp->sd_ail_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sdp->sd_delete_wq->flush_color	s32min-s32max
PARAM_VALUE	0	sdp->sd_delete_wq->work_color	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc	4096-ptr_max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio	0,4096-ptr_max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_end_io	6431644242391375872
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->_refcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->codec->users	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->header_page->_refcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->header_page->page_type	0-4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec->page_type	0-4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private	4096-ptr_max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_count.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->_entire_mapcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->_large_mapcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->_mapcount.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->page.zone_device_data->page_type	4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->page.zone_device_data->private	0-4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->private->codec->users	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->private->hdr.front_len	0-4294967295
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->b_folio->private->wb_kref	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.callback	6452105974677680128
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.callback_thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->cache->zone->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->callback_thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->journal->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->logical.zone->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.parent->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.priority	0-2
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.result	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->completion.vdo->thread_config.admin_thread	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->context->thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->sd_log_in_flight.counter	s32min-s32max
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->vio.completion.callback_thread_id	0-255
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->vio.completion.priority	0-2
PARAM_VALUE	0	sdp->sd_jdesc->jd_log_bio->bi_private->vio.completion.result	s32min-s32max
PARAM_VALUE	0	sdp->sd_log_flush_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	sdp->sd_log_flush_lock.first_waiter->type	0-1
PARAM_VALUE	0	sdp->sd_log_idle	0-1
PARAM_VALUE	0	sdp->sd_log_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sdp->sd_log_ordered.next	56,4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_ordered.next->next	0
PARAM_VALUE	0	sdp->sd_log_ordered.next->prev	4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_ordered.next->prev->prev	791686512320380928
PARAM_VALUE	0	sdp->sd_log_ordered.prev	4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_ordered.prev->next	4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_ordered.prev->prev	4096-ptr_max
PARAM_VALUE	0	sdp->sd_log_tail	1-u32max
PARAM_VALUE	0	sdp->sd_log_tr	0
PARAM_VALUE	0	sdp->sd_ordered_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	sdp->sd_vfs	4096-ptr_max
PARAM_VALUE	0	sdp->sd_vfs->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	sdp->sd_vfs->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	0	sdp->sd_vfs->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	1	tr	4096-ptr_max
BUF_SIZE	0	sdp	(-1),1-s32max
BUF_SIZE	0	sdp	(-1),1-s32max
CAPPED_DATA	1	&tr->tr_list	1
DATA_SOURCE	0	sdp	$0
FUZZY_MAX	0	sdp->sd_log_idle	1
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	sdp->sd_jdesc->jd_log_bio->bi_io_vec
NO_OVERFLOW_SIMPLE	0	sdp->sd_logd_process->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	sdp->sd_quotad_process->dl.pi_se->dl_runtime
UNITS	0	sdp	unit_byte
LOCK2	0	&sdp->sd_ail_lock
LOCK2	0	&sdp->sd_log_flush_lock
TYPE_LOCK		(struct gfs2_sbd)->sd_ail_lock
TYPE_LOCK		(struct gfs2_sbd)->sd_log_flush_lock