Searched refs:gicr_set_icfgr0 (Results 1 – 2 of 2) sorted by relevance
92 void gicr_set_icfgr0(uintptr_t base, unsigned int id, unsigned int cfg);
241 void gicr_set_icfgr0(uintptr_t base, unsigned int id, unsigned int cfg) in gicr_set_icfgr0() function