Searched refs:guest_set_irq_line (Results 1 – 1 of 1) sorted by relevance
162 static void guest_set_irq_line(u32 intid, u32 level);177 guest_set_irq_line(intid, 0); in guest_irq_generic_handler()240 static void guest_set_irq_line(u32 intid, u32 level) in guest_set_irq_line() function393 guest_set_irq_line(intid, 0); in test_inject_preemption()