Searched defs:gicd_set_icactiver (Results 1 – 2 of 2) sorted by relevance
314 void gicd_set_icactiver(uintptr_t base, unsigned int id) in gicd_set_icactiver() function
315 void gicd_set_icactiver(uintptr_t base, unsigned int id) in gicd_set_icactiver() function