Searched refs:guest_set_irq_line (Results 1 – 1 of 1) sorted by relevance
168 static void guest_set_irq_line(uint32_t intid, uint32_t level);183 guest_set_irq_line(intid, 0); in guest_irq_generic_handler()246 static void guest_set_irq_line(uint32_t intid, uint32_t level) in guest_set_irq_line() function395 guest_set_irq_line(intid, 0); in test_inject_preemption()
