Lines Matching defs:void

23 static inline u_register_t read_ ## _name(void)			\
31 static inline u_register_t read_ ## _name(void)			\
39 static inline void write_ ## _name(u_register_t v)			\
83 static inline void _op(void)				\
90 static inline void _op(uint64_t v)			\
97 static inline void _op ## _type(void)			\
104 static inline void _op ## _type(uint64_t v)		\
120 static inline void tlbi ## _type(void)			\
133 static inline void tlbi ## _type(uint64_t v)			\
147 static inline void dc ## _name(uint64_t v)			\
242 void flush_dcache_range(uintptr_t addr, size_t size);
243 void flush_dcache_to_popa_range(uintptr_t addr, size_t size);
244 void clean_dcache_range(uintptr_t addr, size_t size);
245 void inv_dcache_range(uintptr_t addr, size_t size);
246 bool is_dcache_enabled(void);
248 void dcsw_op_louis(u_register_t op_type);
249 void dcsw_op_all(u_register_t op_type);
251 void disable_mmu_el1(void);
252 void disable_mmu_el3(void);
253 void disable_mpu_el2(void);
254 void disable_mmu_icache_el1(void);
255 void disable_mmu_icache_el3(void);
256 void disable_mpu_icache_el2(void);
313 static inline void enable_irq(void)
332 static inline void enable_fiq(void)
339 static inline void enable_serror(void)
346 static inline void enable_debug_exceptions(void)
353 static inline void disable_irq(void)
360 static inline void disable_fiq(void)
367 static inline void disable_serror(void)
374 static inline void disable_debug_exceptions(void)
381 void __dead2 smc(uint64_t x0, uint64_t x1, uint64_t x2, uint64_t x3,
651 static inline unsigned int get_current_el(void)
656 static inline unsigned int get_current_el_maybe_constant(void)
692 static inline void tlbipaallos(void)
704 void gpt_tlbi_by_pa_ll(uint64_t pa, size_t size);