Searched refs:gicd_get_isactiver (Results 1 – 4 of 4) sorted by relevance
76 unsigned int gicd_get_isactiver(uintptr_t base, unsigned int id);
276 unsigned int gicd_get_isactiver(uintptr_t base, unsigned int id) in gicd_get_isactiver() function
326 return gicd_get_isactiver(driver_data->gicd_base, id); in gicv2_get_interrupt_active()
845 value = gicd_get_isactiver(gicv3_driver_data->gicd_base, id); in gicv3_get_interrupt_active()