Defined in 1 files as a function:
Referenced in 5 files:
- arch/x86/kvm/lapic.c
- arch/x86/kvm/lapic.h, line 310
- arch/x86/kvm/pmu.c, line 1379
- arch/x86/kvm/svm/avic.c
- arch/x86/kvm/vmx/tdx.c, line 1082
Smatch caller information:
arch/x86/kvm/pmu.c kvm_mediated_pmu_load() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 832 |
| PREEMPT_ADD | |||
| 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->mutex | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/lapic.c __apic_read() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 160 |
| DATA_SOURCE | 0 | apic | $0 |
| DATA_SOURCE | 1 | reg_off | $1 |
arch/x86/kvm/lapic.c __apic_read() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 0,16-143,145-159,161-911,913-1008 |
| DATA_SOURCE | 0 | apic | $0 |
| DATA_SOURCE | 1 | reg_off | $1 |
| BIT_INFO | 1 | reg_off | 0x0,0x3f0 |
arch/x86/kvm/lapic.c __apic_update_ppr() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 160 |
| DATA_SOURCE | 0 | apic | $0 |
| 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 __apic_update_ppr() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 128 |
| DATA_SOURCE | 0 | apic | $0 |
| 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 apic_get_tmcct() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 896 |
| DATA_SOURCE | 0 | apic | $0 |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c apic_lvt_enabled() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 800 |
| DATA_SOURCE | 0 | apic | $0 |
| DATA_SOURCE | 1 | reg_off | $1 |
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| LOCK2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->srcu |
arch/x86/kvm/lapic.c apic_update_lvtt() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 800 |
| DATA_SOURCE | 0 | apic | $0 |
| 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_apic_accept_pic_intr() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 848 |
| PREEMPT_ADD | |||
| 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 | &s->lock | ||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c kvm_apic_local_deliver() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 752,800,832,848 |
| DATA_SOURCE | 0 | apic | $0 |
| DATA_SOURCE | 1 | reg_off | $1 |
| HARD_MAX | 1 | reg_off | 848 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 kvm_apic_match_logical_addr() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 208 |
| DATA_SOURCE | 0 | apic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | &ioapic->lock | ||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | rcu_read |
arch/x86/kvm/lapic.c kvm_apic_match_logical_addr() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 224 |
| DATA_SOURCE | 0 | apic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | &ioapic->lock | ||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| HALF_LOCKED2 | rcu_read |
arch/x86/kvm/lapic.c kvm_apic_set_state() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 848 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer.base | 1 |
| PARAM_COMPARE | 0 | &apic->lapic_timer.timer | != $0->lapic_timer.timer.base->running |
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/lapic.c kvm_apic_write_nodecode() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 0,16-4080 |
| DATA_SOURCE | 1 | reg_off | $1 |
| BIT_INFO | 1 | reg_off | 0x0,0xff0 |
arch/x86/kvm/lapic.c kvm_lapic_get_cr8() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 128 |
| PREEMPT_ADD | |||
| 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 kvm_lapic_reg_write() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 48 |
| DATA_SOURCE | 0 | apic | $0 |
arch/x86/kvm/lapic.c kvm_lapic_reg_write() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| DATA_SOURCE | 0 | apic | $0 |
arch/x86/kvm/lapic.c kvm_lapic_reg_write() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 784 |
| DATA_SOURCE | 0 | apic | $0 |
arch/x86/kvm/lapic.c kvm_lapic_reset() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 848 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer.base | 1 |
| CAPPED_DATA | 0 | apic->nr_lvt_entries | 1 |
| CAPPED_DATA | 0 | &apic->lapic_timer.timer | 1 |
| PARAM_COMPARE | 0 | &apic->lapic_timer.timer | != $0->lapic_timer.timer.base->running |
| USER_DATA | 0 | apic->lapic_timer.expired_tscdeadline | 0-u64max |
| USER_DATA | 0 | apic->lapic_timer.tscdeadline | 0 |
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c kvm_lapic_suppress_eoi_broadcast() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 240 |
| DATA_SOURCE | 0 | apic | $0 |
| PREEMPT_ADD | |||
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | &ioapic->lock |
arch/x86/kvm/lapic.c kvm_lapic_sync_to_vapic() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 128 |
| 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 |
arch/x86/kvm/lapic.c kvm_recalculate_logical_map() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 208 |
| LOCK2 | &kvm->arch.apic_map_lock | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_arch)->apic_map_lock |
arch/x86/kvm/lapic.c kvm_recalculate_logical_map() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 224 |
| LOCK2 | &kvm->arch.apic_map_lock | ||
| HALF_LOCKED2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_arch)->apic_map_lock |
arch/x86/kvm/lapic.c kvm_x2apic_icr_read() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 768 |
| DATA_SOURCE | 0 | apic | $0 |
arch/x86/kvm/lapic.c kvm_x2apic_icr_read() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 784 |
| DATA_SOURCE | 0 | apic | $0 |
arch/x86/kvm/lapic.c kvm_xapic_id() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 32 |
| DATA_SOURCE | 0 | apic | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | &kvm->arch.apic_map_lock | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c lapic_timer_int_injected() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 800 |
arch/x86/kvm/lapic.c set_target_expiration() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 896 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer.base | 1 |
| DATA_SOURCE | 0 | apic | $0 |
| USER_DATA | 0 | apic->lapic_timer.tscdeadline | 0-u64max |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c set_target_expiration() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 912 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer.base | 1 |
| DATA_SOURCE | 0 | apic | $0 |
| DATA_SOURCE | 1 | reg_off | $1 |
| USER_DATA | 0 | apic->lapic_timer.tscdeadline | 0-u64max |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c set_target_expiration() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 912 |
| CAPPED_DATA | 0 | apic->lapic_timer.period | 1 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer.base | 1 |
| DATA_SOURCE | 0 | apic | $0 |
| DATA_SOURCE | 1 | reg_off | $1 |
| USER_DATA | 0 | apic->lapic_timer.tscdeadline | 0-u64max |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c update_divide_count() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 992 |
| DATA_SOURCE | 0 | apic | $0 |
| USER_DATA | 0 | apic->lapic_timer.expired_tscdeadline | 0-u64max |
| USER_DATA | 0 | apic->lapic_timer.tscdeadline | 0 |
| USER_DATA | 0 | apic->sipi_vector | 1-255[c] |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c update_target_expiration() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 896 |
| CAPPED_DATA | 0 | apic->lapic_timer.timer.base | 1 |
| DATA_SOURCE | 0 | apic | $0 |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_run() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 800 |
arch/x86/kvm/svm/avic.c avic_handle_dfr_update() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 224 |
arch/x86/kvm/svm/avic.c avic_handle_ldr_update() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | reg_off | 208 |
arch/x86/kvm/svm/avic.c avic_kick_target_vcpus_fast() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 224 |
| DATA_SOURCE | 0 | apic | $1 |
arch/x86/kvm/svm/avic.c avic_ldr_write() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 224 |
arch/x86/kvm/svm/avic.c kvm_xapic_id() -> kvm_lapic_get_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | apic | 4096-ptr_max |
| PARAM_VALUE | 0 | apic->regs | 4096-ptr_max |
| PARAM_VALUE | 1 | reg_off | 32 |
| DATA_SOURCE | 0 | apic | $0 |