18 static inline unsigned int gicd_read_ctlr(uintptr_t base)  in gicd_read_ctlr()  argument
20 	return mmio_read_32(base + GICD_CTLR);  in gicd_read_ctlr()
23 static inline unsigned int gicd_read_typer(uintptr_t base)  in gicd_read_typer()  argument
25 	return mmio_read_32(base + GICD_TYPER);  in gicd_read_typer()
28 static inline unsigned int gicd_read_iidr(uintptr_t base)  in gicd_read_iidr()  argument
30 	return mmio_read_32(base + GICD_IIDR);  in gicd_read_iidr()
33 static inline void gicd_write_ctlr(uintptr_t base, unsigned int val)  in gicd_write_ctlr()  argument
35 	mmio_write_32(base + GICD_CTLR, val);  in gicd_write_ctlr()
43 unsigned int gicd_read_igroupr(uintptr_t base, unsigned int id);
44 unsigned int gicd_read_isenabler(uintptr_t base, unsigned int id);
45 unsigned int gicd_read_icenabler(uintptr_t base, unsigned int id);
46 unsigned int gicd_read_ispendr(uintptr_t base, unsigned int id);
47 unsigned int gicd_read_icpendr(uintptr_t base, unsigned int id);
48 unsigned int gicd_read_isactiver(uintptr_t base, unsigned int id);
49 unsigned int gicd_read_icactiver(uintptr_t base, unsigned int id);
50 unsigned int gicd_read_ipriorityr(uintptr_t base, unsigned int id);
51 unsigned int gicd_read_icfgr(uintptr_t base, unsigned int id);
52 unsigned int gicd_read_nsacr(uintptr_t base, unsigned int id);
53 unsigned int gicd_read_spendsgir(uintptr_t base, unsigned int id);
54 unsigned int gicd_read_cpendsgir(uintptr_t base, unsigned int id);
55 unsigned int gicd_read_itargetsr(uintptr_t base, unsigned int id);
56 void gicd_write_igroupr(uintptr_t base, unsigned int id, unsigned int val);
57 void gicd_write_isenabler(uintptr_t base, unsigned int id, unsigned int val);
58 void gicd_write_icenabler(uintptr_t base, unsigned int id, unsigned int val);
59 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val);
60 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val);
61 void gicd_write_isactiver(uintptr_t base, unsigned int id, unsigned int val);
62 void gicd_write_icactiver(uintptr_t base, unsigned int id, unsigned int val);
63 void gicd_write_ipriorityr(uintptr_t base, unsigned int id, unsigned int val);
64 void gicd_write_icfgr(uintptr_t base, unsigned int id, unsigned int val);
65 void gicd_write_nsacr(uintptr_t base, unsigned int id, unsigned int val);
66 void gicd_write_spendsgir(uintptr_t base, unsigned int id, unsigned int val);
67 void gicd_write_cpendsgir(uintptr_t base, unsigned int id, unsigned int val);
68 void gicd_write_itargetsr(uintptr_t base, unsigned int id, unsigned int val);
76 unsigned int gicd_get_igroupr(uintptr_t base, unsigned int id);
77 void gicd_set_igroupr(uintptr_t base, unsigned int id);
78 void gicd_clr_igroupr(uintptr_t base, unsigned int id);
79 void gicd_set_isenabler(uintptr_t base, unsigned int id);
80 void gicd_set_icenabler(uintptr_t base, unsigned int id);
81 void gicd_set_ispendr(uintptr_t base, unsigned int id);
82 void gicd_set_icpendr(uintptr_t base, unsigned int id);
83 unsigned int gicd_get_isactiver(uintptr_t base, unsigned int id);
84 void gicd_set_isactiver(uintptr_t base, unsigned int id);
85 void gicd_set_icactiver(uintptr_t base, unsigned int id);
86 void gicd_set_ipriorityr(uintptr_t base, unsigned int id, unsigned int pri);
87 void gicd_set_icfgr(uintptr_t base, unsigned int id, unsigned int cfg);