Lines Matching refs:vlapic_vcpu
117 hvm_funcs.sync_pir_to_irr(vlapic_vcpu(vlapic)); in vlapic_find_highest_irr()
154 struct vcpu *target = vlapic_vcpu(vlapic); in vlapic_set_irq()
412 vlapic_vcpu(target)->vcpu_id; in vlapic_lowest_prio()
483 vcpu_pause_nosync(vlapic_vcpu(vlapic)); in vlapic_ipi()
496 vlapic_accept_irq(vlapic_vcpu(target), icr_low); in vlapic_ipi()
1056 u32 id = vlapic_vcpu(vlapic)->vcpu_id; in set_x2apic_id()
1094 vmx_vlapic_msr_changed(vlapic_vcpu(vlapic)); in vlapic_msr_set()
1113 struct vcpu *v = vlapic_vcpu(vlapic); in vlapic_tdt_msr_set()
1319 if ( !has_vlapic(vlapic_vcpu(vlapic)->domain) ) in vlapic_do_init()
1358 const struct vcpu *v = vlapic_vcpu(vlapic); in vlapic_reset()
1394 create_periodic_time(vlapic_vcpu(s), &s->pt, period, in lapic_rearm()
1459 if ( GET_xAPIC_ID(id) != vlapic_vcpu(vlapic)->vcpu_id * 2 || in lapic_load_fixup()
1462 vlapic_vcpu(vlapic), id); in lapic_load_fixup()