95 #define DEFINE_GICV5_MMIO_WRITE_FUNC(_name, _offset)				\  argument
96 static inline void write_##_name(uintptr_t base, uint32_t val)			\
101 #define DEFINE_GICV5_MMIO_READ_FUNC(_name, _offset)				\  argument
102 static inline uint32_t read_##_name(uintptr_t base)				\
107 #define DEFINE_GICV5_MMIO_WRITE_INDEXED_FUNC(_name, _offset)			\  argument
108 static inline void write_##_name(uintptr_t base, uint16_t index, uint32_t val)	\
113 #define DEFINE_GICV5_MMIO_READ_INDEXED_FUNC(_name, _offset)			\  argument
114 static inline uint32_t read_##_name(uintptr_t base, uint16_t index)		\
119 #define DEFINE_GICV5_MMIO_RW_FUNCS(_name, _offset)				\  argument
120 	DEFINE_GICV5_MMIO_READ_FUNC(_name, _offset)				\
121 	DEFINE_GICV5_MMIO_WRITE_FUNC(_name, _offset)
123 #define DEFINE_GICV5_MMIO_RW_INDEXED_FUNCS(_name, _offset)			\  argument
124 	DEFINE_GICV5_MMIO_READ_INDEXED_FUNC(_name, _offset)			\
125 	DEFINE_GICV5_MMIO_WRITE_INDEXED_FUNC(_name, _offset)