136 void gicd_write_igroupr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_igroupr()
147 void gicd_write_isenabler(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_isenabler()
158 void gicd_write_icenabler(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_icenabler()
169 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_ispendr()
180 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_icpendr()
191 void gicd_write_isactiver(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_isactiver()
202 void gicd_write_icactiver(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_icactiver()
213 void gicd_write_ipriorityr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_ipriorityr()
224 void gicd_write_icfgr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_icfgr()
235 void gicd_write_nsacr(uintptr_t base, unsigned int id, unsigned int val)  in gicd_write_nsacr()
324 	uint8_t val = pri & GIC_PRI_MASK;  in gicd_set_ipriorityr()  local