Lines Matching defs:void
25 static inline void write_## _name(u_register_t v) \
31 static inline u_register_t read_ ## _name(void) \
44 static inline void write64_## _name(uint64_t v) \
50 static inline uint64_t read64_## _name(void) \
57 static inline u_register_t read_ ## _name(void) \
65 static inline void write_ ## _name(u_register_t v) \
71 static inline void write_ ## _name(const u_register_t v) \
112 static inline void tlbi##_op(void) \
119 static inline void bpi##_op(void) \
126 static inline void tlbi##_op(u_register_t v) \
147 static inline void dc##_op(u_register_t v) \
161 static inline void _op(void) \
169 static inline void _op ## _type(void) \
176 static inline void _op ## _type(u_register_t v) \
181 void flush_dcache_range(uintptr_t addr, size_t size);
182 void clean_dcache_range(uintptr_t addr, size_t size);
183 void inv_dcache_range(uintptr_t addr, size_t size);
184 bool is_dcache_enabled(void);
186 void dcsw_op_louis(u_register_t op_type);
187 void dcsw_op_all(u_register_t op_type);
189 void disable_mmu_secure(void);
190 void disable_mmu_icache_secure(void);
210 void __dead2 smc(uint32_t r0, uint32_t r1, uint32_t r2, uint32_t r3,
361 static inline u_register_t read_rndr(void)
389 static inline unsigned int get_current_el(void)
434 static inline void enable_irq(void)
453 static inline void enable_serror(void)
460 static inline void enable_fiq(void)
467 static inline void disable_irq(void)
474 static inline void disable_serror(void)
481 static inline void disable_fiq(void)