Searched refs:gicd_set_icactiver (Results 1 – 3 of 3) sorted by relevance
85 void gicd_set_icactiver(uintptr_t base, unsigned int id);
315 void gicd_set_icactiver(uintptr_t base, unsigned int id) in gicd_set_icactiver() function
313 void gicd_set_icactiver(uintptr_t base, unsigned int id) in gicd_set_icactiver() function