Searched refs:apic_id_reg (Results 1 – 1 of 1) sorted by relevance
4582 u32 apic_id_reg = kvm_lapic_get_reg(vcpu->arch.apic, APIC_ID); in avic_handle_apic_id_update() local4583 u32 id = (apic_id_reg >> 24) & 0xff; in avic_handle_apic_id_update()
