Searched refs:guest_set_irq_line (Results 1 – 1 of 1) sorted by relevance
161 static void guest_set_irq_line(uint32_t intid, uint32_t level);176 guest_set_irq_line(intid, 0); in guest_irq_generic_handler()239 static void guest_set_irq_line(uint32_t intid, uint32_t level) in guest_set_irq_line() function387 guest_set_irq_line(intid, 0); in test_inject_preemption()