Searched refs:gicd_set_icactiver (Results 1 – 4 of 4) sorted by relevance
78 void gicd_set_icactiver(uintptr_t base, unsigned int id);
291 void gicd_set_icactiver(uintptr_t base, unsigned int id) in gicd_set_icactiver() function
142 void gicd_set_icactiver(uintptr_t, unsigned int);
227 void gicd_set_icactiver(uintptr_t base, unsigned int id) in gicd_set_icactiver() function