Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- fs/xfs/scrub/common.c, line 971
- fs/xfs/xfs_icache.c, line 1083
- fs/xfs/xfs_log.c
- fs/xfs/xfs_mount.c, line 624
Smatch caller information:
fs/xfs/xfs_log.c xfs_log_cover() -> xfs_ail_push_all_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ailp | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ailp->ail_task->__state | 0,512 |
| PARAM_VALUE | 0 | ailp->ail_task->blocked_on | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->core_node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->core_node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->cpus_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | ailp->ail_task->delays->blkio_delay_max_ts.tv_nsec | 0-999999999 |
| PARAM_VALUE | 0 | ailp->ail_task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | ailp->ail_task->delays->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ailp->ail_task->delays->lock.owner | (-1) |
| PARAM_VALUE | 0 | ailp->ail_task->delays->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.pi_se->dl_runtime | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.pi_se->pi_se | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->active_balance | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->clock_update_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_enabled | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_forceidle_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_forceidle_occupation | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_forceidle_seq | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_pick_seq | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_sched_seq | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_task_seq | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->cpu | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->has_blocked_load | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->hrtick_sched | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->idle_balance | 0-255 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->membarrier_state | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nohz_idle_balance | 0-255 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nohz_tick_stopped | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_numa_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_pinned | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_pref_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_preferred_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->numa_migrate_on | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->online | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->push_busy | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->push_cpu | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->sched_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->sched_goidle | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->ticks_without_resched | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->ttwu_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->ttwu_local | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->ttwu_pending | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->uclamp_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->yld_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->is_blocked | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | ailp->ail_task->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.node_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.node_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.node_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.node_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.prio_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.prio_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.prio_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.prio_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->saved_state | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->sched_migrated | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->propagate | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->removed.lock.owner | (-1) |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->removed.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.group_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->se.group_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->se.group_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->se.group_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->se.my_q->prop_runnable_sum | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->se.my_q->propagate | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->throttle_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->throttle_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->throttle_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->throttle_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->wake_cpu | 0-s32max |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sb->s_umount |
fs/xfs/xfs_log.c xfs_log_mount_finish() -> xfs_ail_push_all_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ailp | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_buf_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_buf_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_cursors.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_cursors.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_empty.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_empty.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_log | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task | 4096-ptr_max |
| NOCHECK_CALL |
fs/xfs/xfs_log.c xfs_log_quiesce() -> xfs_ail_push_all_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sb->s_umount |
fs/xfs/scrub/common.c xchk_checkpoint_log() -> xfs_ail_push_all_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPABLE | 0 | 21 | |
| NOCHECK_CALL |
fs/xfs/xfs_icache.c xfs_reclaim_inodes() -> xfs_ail_push_all_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ailp | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ailp->ail_task->__state | 0,512 |
| PARAM_VALUE | 0 | ailp->ail_task->blocked_on | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->core_node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->core_node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->cpus_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | ailp->ail_task->delays->blkio_delay_max_ts.tv_nsec | 0-999999999 |
| PARAM_VALUE | 0 | ailp->ail_task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | ailp->ail_task->delays->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ailp->ail_task->delays->lock.owner | (-1) |
| PARAM_VALUE | 0 | ailp->ail_task->delays->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.pi_se->pi_se | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->active_balance | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->clock_update_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_enabled | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_forceidle_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_forceidle_occupation | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_forceidle_seq | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_pick_seq | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_sched_seq | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->core_task_seq | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->cpu | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->has_blocked_load | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->hrtick_sched | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->idle_balance | 0-255 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->membarrier_state | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nohz_idle_balance | 0-255 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nohz_tick_stopped | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_numa_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_pinned | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_pref_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_preferred_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->nr_running | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->numa_migrate_on | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->online | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->push_busy | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->push_cpu | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->sched_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->sched_goidle | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->ticks_without_resched | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->ttwu_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->ttwu_local | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->ttwu_pending | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->uclamp_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->dl.rq->yld_count | 0-4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->is_blocked | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | ailp->ail_task->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.node_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.node_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.node_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.node_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.prio_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.prio_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.prio_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->pushable_tasks.prio_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->saved_state | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->sched_migrated | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->propagate | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->removed.lock.owner | (-1) |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->removed.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | ailp->ail_task->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | ailp->ail_task->se.group_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->se.group_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->se.group_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->se.group_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->se.my_q->prop_runnable_sum | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->se.my_q->propagate | 0 |
| PARAM_VALUE | 0 | ailp->ail_task->throttle_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->throttle_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->throttle_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->throttle_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ailp->ail_task->wake_cpu | 0-s32max |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->s_umount | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | global &cifs_mount_mutex |
fs/xfs/xfs_mount.c xfs_unmount_flush_inodes() -> xfs_ail_push_all_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->s_umount | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | global &cifs_mount_mutex |