Defined in 1 files as a prototype:
Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/include/asm/kvm-x86-ops.h, line 121
- arch/x86/kvm/lapic.c
- arch/x86/kvm/vmx/main.c
- arch/x86/kvm/vmx/vmx.c, line 8360
Smatch caller information:
arch/x86/kvm/lapic.c cancel_apic_timer() -> cancel_hv_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->lapic_timer.hv_timer_in_use | 1 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer.base | 1 |
| CAPPED_DATA | 0 | &apic->lapic_timer.timer | 1 |
| DATA_SOURCE | 0 | apic | $0 |
| PARAM_COMPARE | 0 | &apic->lapic_timer.timer | != $0->lapic_timer.timer.base->running |
| PREEMPT_ADD | <- disables preempt | ||
| 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 | &vcpu->mutex |
arch/x86/kvm/lapic.c kvm_lapic_expired_hv_timer() -> cancel_hv_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->lapic_timer.hv_timer_in_use | 1 |
| PARAM_VALUE | 0 | apic->lapic_timer.timer_advance_ns | 0-5000 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer_advance_ns | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL |
arch/x86/kvm/lapic.c start_hv_timer() -> cancel_hv_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->lapic_timer.hv_timer_in_use | 1 |
| PARAM_VALUE | 0 | apic->lapic_timer.pending.counter | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | apic->lapic_timer.timer_mode | 0-131071,131073-u32max |
| PARAM_VALUE | 0 | apic->lapic_timer.tscdeadline | 1-u64max |
| 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->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 | 1-u64max |
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c start_hv_timer() -> cancel_hv_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->lapic_timer.hv_timer_in_use | 1 |
| PARAM_VALUE | 0 | apic->lapic_timer.timer_advance_ns | 0-5000 |
| PARAM_VALUE | 0 | apic->lapic_timer.timer_mode | 0-131071,131073-u32max |
| 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->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 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer_advance_ns | 1 |
| 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 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c start_sw_timer() -> cancel_hv_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->lapic_timer.hv_timer_in_use | 1 |
| PARAM_VALUE | 0 | apic->lapic_timer.timer_mode | 0,131072-393216 |
| 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->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 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |