Searched refs:gicd_set_isactiver (Results 1 – 4 of 4) sorted by relevance
77 void gicd_set_isactiver(uintptr_t base, unsigned int id);
284 void gicd_set_isactiver(uintptr_t base, unsigned int id) in gicd_set_isactiver() function
141 void gicd_set_isactiver(uintptr_t, unsigned int);
220 void gicd_set_isactiver(uintptr_t base, unsigned int id) in gicd_set_isactiver() function