Searched refs:gicd_read_icfgr (Results 1 – 2 of 2) 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()
51 unsigned int gicd_read_icfgr(uintptr_t base, unsigned int id);