Searched refs:gicd_get_isactiver (Results 1 – 6 of 6) sorted by relevance
83 unsigned int gicd_get_isactiver(uintptr_t base, unsigned int id);
300 unsigned int gicd_get_isactiver(uintptr_t base, unsigned int id) in gicd_get_isactiver() function
93 unsigned int gicd_get_isactiver(uintptr_t base, unsigned int id) in gicd_get_isactiver() function
964 return gicd_get_isactiver(gicd_base, id); in gicv3_get_interrupt_active()
299 unsigned int gicd_get_isactiver(uintptr_t base, unsigned int id) in gicd_get_isactiver() function
339 return gicd_get_isactiver(driver_data->gicd_base, id); in gicv2_get_interrupt_active()