Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/i8254.c kvm_create_pit() -> kvm_pit_set_reinject()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pit | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.node.next->prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.node.next->prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pit->expired.worker->lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->expired.worker->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->__state | 0,512 |
| PARAM_VALUE | 0 | pit->expired.worker->task->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->core_node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->core_node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->cpus_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->blkio_delay_max_ts.tv_nsec | 0-999999999 |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.dl_timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.dl_timer.base->cpu_base->softirq_expires_next | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.pi_se->pi_se | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->active_balance | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->clock_update_flags | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_enabled | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_forceidle_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_forceidle_occupation | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_forceidle_seq | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_pick_seq | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_sched_seq | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_task_seq | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->cpu | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->has_blocked_load | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->hrtick_sched | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->idle_balance | 0-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->membarrier_state | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nohz_idle_balance | 0-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nohz_tick_stopped | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_numa_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_pinned | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_pref_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_preferred_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->numa_migrate_on | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->online | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->push_busy | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->push_cpu | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->sched_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->sched_goidle | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->ticks_without_resched | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->ttwu_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->ttwu_local | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->ttwu_pending | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->uclamp_flags | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->yld_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | pit->expired.worker->task->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.node_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.node_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.node_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.node_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.prio_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.prio_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.prio_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.prio_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->sched_migrated | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->sched_task_group->parent | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->sched_task_group->shares | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->propagate | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->removed.lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->removed.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->dl.inactive_timer.base->clockid | 0-1,7,11 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->dl.inactive_timer.base->index | 0-7 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->fair_server.inactive_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.group_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.group_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.group_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.group_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->throttle_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->throttle_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->throttle_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->throttle_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->work_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->work_list.next->prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->work_list.next->prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->kvm->arch.irqchip_mode | 1 |
| PARAM_VALUE | 0 | pit->kvm->arch.vpit | 0 |
| PARAM_VALUE | 0 | pit->kvm->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pit->kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pit->kvm->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->kvm->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | pit->mask_notifier.func | 171828630519672832 |
| PARAM_VALUE | 0 | pit->pit_state.flags | 0 |
| PARAM_VALUE | 0 | pit->pit_state.irq_ack.counter | 1 |
| PARAM_VALUE | 0 | pit->pit_state.irq_ack_notifier.gsi | 0 |
| PARAM_VALUE | 0 | pit->pit_state.irq_ack_notifier.irq_acked | 4398292512939687936 |
| PARAM_VALUE | 0 | pit->pit_state.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pit->pit_state.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | pit->pit_state.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->pit_state.lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | pit->pit_state.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | pit->pit_state.pending.counter | 0 |
| PARAM_VALUE | 0 | pit->pit_state.timer.base->active.rb_root.rb_leftmost->node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->worker | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->current_work | 0 |
| PARAM_VALUE | 0 | pit->worker->delayed_work_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->delayed_work_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->flags | 0 |
| PARAM_VALUE | 0 | pit->worker->lock.magic | 3735899821 |
| PARAM_VALUE | 0 | pit->worker->lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->worker->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | pit->worker->lock.raw_lock.locked | 0 |
| PARAM_VALUE | 0 | pit->worker->lock.raw_lock.pending | 0 |
| PARAM_VALUE | 0 | pit->worker->lock.raw_lock.tail | 0 |
| PARAM_VALUE | 0 | pit->worker->lock.raw_lock.val.counter | 0 |
| PARAM_VALUE | 0 | pit->worker->task | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->work_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->work_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | reinject | 1 |
| BUF_SIZE | 0 | pit | 472 |
| BUF_SIZE | 0 | pit->kvm | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | pit->worker | (-1),128 |
| DATA_SOURCE | 0 | pit | r _kzalloc_noprof |
| MEM_ZERO | 0 | &pit->expired | |
| NOCHECK_CALL | |||
| LOCK2 | &kvm->lock | ||
| TYPE_LOCK | (struct kvm)->lock |
arch/x86/kvm/i8254.c kvm_create_pit() -> kvm_pit_set_reinject()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pit | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->dev.ops | 8745575643136249856 |
| PARAM_VALUE | 0 | pit->dev.ops->destructor | 0 |
| PARAM_VALUE | 0 | pit->dev.ops->read | 2248576444692987904 |
| PARAM_VALUE | 0 | pit->dev.ops->write | 8542186766058434560 |
| PARAM_VALUE | 0 | pit->expired.node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.node.next->prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.node.next->prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pit->expired.worker->lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->expired.worker->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->__state | 0,512 |
| PARAM_VALUE | 0 | pit->expired.worker->task->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->core_node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->core_node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->cpus_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->blkio_delay_max_ts.tv_nsec | 0-999999999 |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->expired.worker->task->delays->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.dl_timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.dl_timer.base->cpu_base->softirq_expires_next | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.pi_se->pi_se | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->active_balance | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->clock_update_flags | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_enabled | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_forceidle_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_forceidle_occupation | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_forceidle_seq | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_pick_seq | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_sched_seq | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->core_task_seq | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->cpu | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->has_blocked_load | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->hrtick_sched | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->idle_balance | 0-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->membarrier_state | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nohz_idle_balance | 0-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nohz_tick_stopped | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_numa_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_pinned | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_pref_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_preferred_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->nr_running | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->numa_migrate_on | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->online | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->push_busy | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->push_cpu | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->sched_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->sched_goidle | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->ticks_without_resched | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->ttwu_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->ttwu_local | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->ttwu_pending | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->uclamp_flags | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->dl.rq->yld_count | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | pit->expired.worker->task->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.node_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.node_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.node_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.node_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.prio_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.prio_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.prio_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->pushable_tasks.prio_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->sched_migrated | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->sched_task_group->parent | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->sched_task_group->shares | 0-s64max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->propagate | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->removed.lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->removed.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->dl.inactive_timer.base->clockid | 0-1,7,11 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->dl.inactive_timer.base->index | 0-7 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->donor->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->fair_server.inactive_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.group_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.group_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.group_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->se.group_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->throttle_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->throttle_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->throttle_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->throttle_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->task->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | pit->expired.worker->work_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->work_list.next->prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->expired.worker->work_list.next->prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | pit->kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | pit->kvm->arch.irqchip_mode | 1 |
| PARAM_VALUE | 0 | pit->kvm->arch.vpit | 0 |
| PARAM_VALUE | 0 | pit->kvm->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pit->kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pit->kvm->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->kvm->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | pit->mask_notifier.func | 171828630519672832 |
| PARAM_VALUE | 0 | pit->pit_state.flags | 0 |
| PARAM_VALUE | 0 | pit->pit_state.irq_ack.counter | 1 |
| PARAM_VALUE | 0 | pit->pit_state.irq_ack_notifier.gsi | 0 |
| PARAM_VALUE | 0 | pit->pit_state.irq_ack_notifier.irq_acked | 4398292512939687936 |
| PARAM_VALUE | 0 | pit->pit_state.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pit->pit_state.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | pit->pit_state.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->pit_state.lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | pit->pit_state.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | pit->pit_state.pending.counter | 0 |
| PARAM_VALUE | 0 | pit->pit_state.reinject.counter | 0-1 |
| PARAM_VALUE | 0 | pit->pit_state.timer.base->active.rb_root.rb_leftmost->node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | pit->speaker_dev.ops | 3378896502224273408 |
| PARAM_VALUE | 0 | pit->speaker_dev.ops->destructor | 0 |
| PARAM_VALUE | 0 | pit->speaker_dev.ops->read | 382259631096786944 |
| PARAM_VALUE | 0 | pit->speaker_dev.ops->write | 966377881172578304 |
| PARAM_VALUE | 0 | pit->worker | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->current_work | 0 |
| PARAM_VALUE | 0 | pit->worker->delayed_work_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->delayed_work_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->flags | 0 |
| PARAM_VALUE | 0 | pit->worker->lock.magic | 3735899821 |
| PARAM_VALUE | 0 | pit->worker->lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->worker->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | pit->worker->lock.raw_lock.locked | 0 |
| PARAM_VALUE | 0 | pit->worker->lock.raw_lock.pending | 0 |
| PARAM_VALUE | 0 | pit->worker->lock.raw_lock.tail | 0 |
| PARAM_VALUE | 0 | pit->worker->lock.raw_lock.val.counter | 0 |
| PARAM_VALUE | 0 | pit->worker->task | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->work_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pit->worker->work_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | reinject | 0 |
| BUF_SIZE | 0 | pit | 472 |
| BUF_SIZE | 0 | pit->kvm | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | pit->worker | (-1),128 |
| CAPPED_DATA | 0 | &pit->dev | 1 |
| DATA_SOURCE | 0 | pit | r _kzalloc_noprof |
| MEM_ZERO | 0 | &pit->expired | |
| NOCHECK_CALL | |||
| LOCK2 | &kvm->lock | ||
| TYPE_LOCK | (struct kvm)->lock |
arch/x86/kvm/i8254.c kvm_free_pit() -> kvm_pit_set_reinject()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pit | 1-u64max |
| PARAM_VALUE | 0 | pit->dev.ops->destructor | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pit->speaker_dev.ops->destructor | 0,4096-ptr_max |
| PARAM_VALUE | 1 | reinject | 0 |
| CAPPED_DATA | 0 | &pit->dev | 1 |
| CAPPED_DATA | 0 | &pit->speaker_dev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &device->dev_set->lock | ||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &kvm->lock |
arch/x86/kvm/i8254.c kvm_vm_ioctl_reinject() -> kvm_pit_set_reinject()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pit | 1-u64max |
| PARAM_VALUE | 0 | pit->pit_state.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pit->pit_state.lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pit->pit_state.lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | pit->pit_state.lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | pit->pit_state.lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pit->pit_state.lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | pit->pit_state.lock.wait_lock.owner_cpu | u32max |
| CAPPED_DATA | 0 | &pit->pit_state.lock | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | reinject | 0-1 |
| LOCK2 | 0 | &pit->pit_state.lock | |
| TYPE_LOCK | (struct kvm_kpit_state)->lock |