135 void gicd_write_igroupr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_igroupr()
146 void gicd_write_isenabler(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_isenabler()
157 void gicd_write_icenabler(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_icenabler()
168 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_ispendr()
179 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_icpendr()
190 void gicd_write_isactiver(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_isactiver()
201 void gicd_write_icactiver(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_icactiver()
212 void gicd_write_ipriorityr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_ipriorityr()
223 void gicd_write_icfgr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_icfgr()
234 void gicd_write_nsacr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_nsacr()
323 	uint8_t val = (uint8_t)(pri & GIC_PRI_MASK);  in gicd_set_ipriorityr()  local