Searched refs:vpic_irq_negative_edge (Results 1 – 4 of 4) sorted by relevance
33 void vpic_irq_negative_edge(struct domain *d, int irq);
57 vpic_irq_negative_edge(d, isa_irq); in deassert_irq()242 vpic_irq_negative_edge(d, gsi); in hvm_set_callback_irq_level()322 vpic_irq_negative_edge(d, old_isa_irq); in hvm_set_pci_link_route()409 vpic_irq_negative_edge(d, gsi); in hvm_set_callback_via()
466 void vpic_irq_negative_edge(struct domain *d, int irq) in vpic_irq_negative_edge() function
223 0x0008400f CPU%(cpu)d %(tsc)d (+%(reltsc)8d) vpic_irq_negative_edge [ irq = %(1)d ]
Completed in 9 milliseconds