Searched defs:gicd_set_igroupr (Results 1 – 3 of 3) sorted by relevance
42 void gicd_set_igroupr(uintptr_t base, unsigned int id) in gicd_set_igroupr() function
255 void gicd_set_igroupr(uintptr_t base, unsigned int id) in gicd_set_igroupr() function
256 void gicd_set_igroupr(uintptr_t base, unsigned int id) in gicd_set_igroupr() function