Searched refs:guest_set_irq_line (Results 1 – 1 of 1) sorted by relevance
167 static void guest_set_irq_line(uint32_t intid, uint32_t level);182 guest_set_irq_line(intid, 0); in guest_irq_generic_handler()245 static void guest_set_irq_line(uint32_t intid, uint32_t level) in guest_set_irq_line() function394 guest_set_irq_line(intid, 0); in test_inject_preemption()