30 static inline unsigned int gicd_read_pidr2(uintptr_t base)  in gicd_read_pidr2()
38 static inline unsigned int gicd_get_itargetsr(uintptr_t base, unsigned int id)  in gicd_get_itargetsr()
43 static inline void gicd_set_itargetsr(uintptr_t base, unsigned int id,  in gicd_set_itargetsr()
51 static inline void gicd_write_sgir(uintptr_t base, unsigned int val)  in gicd_write_sgir()
60 static inline unsigned int gicc_read_ctlr(uintptr_t base)  in gicc_read_ctlr()
65 static inline unsigned int gicc_read_pmr(uintptr_t base)  in gicc_read_pmr()
70 static inline unsigned int gicc_read_BPR(uintptr_t base)  in gicc_read_BPR()
75 static inline unsigned int gicc_read_IAR(uintptr_t base)  in gicc_read_IAR()
80 static inline unsigned int gicc_read_EOIR(uintptr_t base)  in gicc_read_EOIR()
85 static inline unsigned int gicc_read_hppir(uintptr_t base)  in gicc_read_hppir()
90 static inline unsigned int gicc_read_ahppir(uintptr_t base)  in gicc_read_ahppir()
95 static inline unsigned int gicc_read_dir(uintptr_t base)  in gicc_read_dir()
100 static inline unsigned int gicc_read_iidr(uintptr_t base)  in gicc_read_iidr()
105 static inline unsigned int gicc_read_rpr(uintptr_t base)  in gicc_read_rpr()
114 static inline void gicc_write_ctlr(uintptr_t base, unsigned int val)  in gicc_write_ctlr()
119 static inline void gicc_write_pmr(uintptr_t base, unsigned int val)  in gicc_write_pmr()
124 static inline void gicc_write_BPR(uintptr_t base, unsigned int val)  in gicc_write_BPR()
130 static inline void gicc_write_IAR(uintptr_t base, unsigned int val)  in gicc_write_IAR()
135 static inline void gicc_write_EOIR(uintptr_t base, unsigned int val)  in gicc_write_EOIR()
140 static inline void gicc_write_hppir(uintptr_t base, unsigned int val)  in gicc_write_hppir()
145 static inline void gicc_write_dir(uintptr_t base, unsigned int val)  in gicc_write_dir()