Defined in 1 files as a function:

Referenced in 5 files:

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