Searched refs:hvm_dpci_eoi (Results 1 – 4 of 4) sorted by relevance
124 void hvm_dpci_eoi(struct domain *d, unsigned int guest_irq,
262 hvm_dpci_eoi(current->domain, in vpic_ioport_write()
522 hvm_dpci_eoi(d, vioapic->base_gsi + pin, ent); in vioapic_update_EOI()
982 void hvm_dpci_eoi(struct domain *d, unsigned int guest_gsi, in hvm_dpci_eoi() function
Completed in 7 milliseconds