Searched refs:gicd_read_icfgr (Results 1 – 4 of 4) sorted by relevance
109 unsigned int gicd_read_icfgr(uintptr_t base, unsigned int id) in gicd_read_icfgr() function333 uint32_t reg_val = gicd_read_icfgr(base, id); in gicd_set_icfgr()
111 unsigned int gicd_read_icfgr(uintptr_t base, unsigned int id) in gicd_read_icfgr() function335 uint32_t reg_val = gicd_read_icfgr(base, id); in gicd_set_icfgr()
51 unsigned int gicd_read_icfgr(uintptr_t base, unsigned int id);
138 unsigned int gicd_read_icfgr(uintptr_t base, unsigned int id) in gicd_read_icfgr() function