Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/lapic.c apic_timer_expired() -> kvm_apic_inject_pending_timer_irqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->apicv_active | 1 |
| PARAM_VALUE | 0 | apic->lapic_timer.pending.counter | 0 |
| PARAM_VALUE | 0 | apic->vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode | 0-4294967295 |
| PARAM_VALUE | 0 | apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | apic->vcpu->run->emulation_failure.ndata | 6,8,10,12 |
| PARAM_VALUE | 0 | apic->vcpu->run->hypercall.ret | 0-s32max,1844674407370955159,18446744071562067968-u64max |
| PARAM_VALUE | 0 | apic->vcpu->run->system_event.ndata | 0-1,16 |
| PARAM_VALUE | 0 | apic->vcpu->run->system_event.type | 2-3,6-7 |
| PARAM_VALUE | 0 | apic->vcpu->wants_to_run | 1 |
| PARAM_VALUE | 0 | *apic->vcpu->kvm->arch.vioapic->irq_eoi | 0-4294967295 |
| DATA_SOURCE | 0 | apic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | apic->lapic_timer.expired_tscdeadline | 0-u64max |
| USER_DATA | 0 | apic->lapic_timer.tscdeadline | 0-u64max |
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | flags |
arch/x86/kvm/lapic.c apic_timer_expired() -> kvm_apic_inject_pending_timer_irqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->lapic_timer.pending.counter | 0 |
| PARAM_VALUE | 0 | apic->vcpu->arch.apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->vcpu->arch.apic->apicv_active | 1 |
| PARAM_VALUE | 0 | apic->vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode | 0-4294967295 |
| PARAM_VALUE | 0 | apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | apic->vcpu->mode | 1 |
| PARAM_VALUE | 0 | apic->vcpu->run->emulation_failure.ndata | 6,8,10,12 |
| PARAM_VALUE | 0 | apic->vcpu->run->hypercall.ret | 0-s32max,1844674407370955159,18446744071562067968-u64max |
| PARAM_VALUE | 0 | apic->vcpu->run->system_event.ndata | 0-1,16 |
| PARAM_VALUE | 0 | apic->vcpu->run->system_event.type | 2-3,6-7 |
| PARAM_VALUE | 0 | *apic->vcpu->kvm->arch.vioapic->irq_eoi | 0-4294967295 |
| DATA_SOURCE | 0 | apic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | apic->lapic_timer.expired_tscdeadline | 0-u64max |
| USER_DATA | 0 | apic->lapic_timer.tscdeadline | 0-u64max |
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | flags |
arch/x86/kvm/lapic.c kvm_inject_apic_timer_irqs() -> kvm_apic_inject_pending_timer_irqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic->lapic_timer.pending.counter | 1-s32max |
| PARAM_VALUE | 0 | apic->lapic_timer.timer.node.node.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | apic->lapic_timer.timer_advance_ns | 0-5000 |
| PARAM_VALUE | 0 | apic->lapic_timer.timer_mode | 0,131072-393216 |
| PARAM_VALUE | 0 | apic->lapic_timer.timer_mode_mask | 0,131072,393216 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | apic->lapic_timer.expired_tscdeadline | 0-u64max |
| USER_DATA | 0 | apic->lapic_timer.tscdeadline | 0-u64max |
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| LOCK2 | &vcpu->kvm->srcu | ||
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->srcu | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |