Searched refs:gic_set_dir (Results 1 – 3 of 3) sorted by relevance
44 void gic_set_dir(unsigned int intid);
93 void gic_set_dir(unsigned int intid) in gic_set_dir() function
185 gic_set_dir(intid); in guest_irq_generic_handler()329 gic_set_dir(intid); in guest_restore_active()395 gic_set_dir(intid); in test_inject_preemption()