Lines Matching defs:void

40 static void notify_os(void)
51 static uint64_t ipi_fiq_handler(uint32_t id, uint32_t flags, void *handle,
52 				void *cookie)
59 	(void)plat_ic_acknowledge_interrupt();
135 int32_t pm_setup(void)
175 					void *handle, uint32_t security_flag)
244 					   void *handle, uint32_t security_flag)
292 				       void *handle, uint32_t security_flag)
350 			      void *handle, uint32_t security_flag)
399 			uint64_t x4, const void *cookie, void *handle, uint64_t flags)
428 	(void)(x4);