Searched refs:gicd_set_isactiver (Results 1 – 4 of 4) sorted by relevance
84 void gicd_set_isactiver(uintptr_t base, unsigned int id);
308 void gicd_set_isactiver(uintptr_t base, unsigned int id) in gicd_set_isactiver() function
98 void gicd_set_isactiver(uintptr_t base, unsigned int id) in gicd_set_isactiver() function
306 void gicd_set_isactiver(uintptr_t base, unsigned int id) in gicd_set_isactiver() function