Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/lapic.c kvm_apic_get_state() -> __apic_read()

Type Parameter Key Value
PARAM_VALUE 0 apic 4096-ptr_max
PARAM_VALUE 0 apic->guest_apic_protected 0
PARAM_VALUE 0 apic->lapic_timer.timer.flags 0-4294967295
PARAM_VALUE 0 apic->lapic_timer.timer.is_queued 1
PARAM_VALUE 0 apic->lapic_timer.timer.node.expires 0-s64max
PARAM_VALUE 0 apic->lapic_timer.timer_mode_mask 131072,393216
PARAM_VALUE 0 apic->sipi_vector 0-u16max
PARAM_VALUE 0 apic->vcpu->arch.pv.pv_unhalted 1
PARAM_VALUE 0 apic->vcpu->ready 1
PARAM_VALUE 1 offset 912
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/lapic.c kvm_lapic_reg_read() -> __apic_read()

Type Parameter Key Value
PARAM_VALUE 0 apic 4096-ptr_max
PARAM_VALUE 0 apic->vcpu 4096-ptr_max
PARAM_VALUE 1 offset 0,16-1008
DATA_SOURCE 0 apic $0
BIT_INFO 1 offset 0x0,0x3f0