Lines Matching defs:void

58 static int32_t rmm_init(void);
96 __dead2 void rmmd_rmm_sync_exit(uint64_t rc)
113 static void rmm_el2_context_init(el2_sysregs_t *regs)
123 static void manage_extensions_realm(cpu_context_t *ctx)
135 static void manage_extensions_realm_per_world(void)
164 static int32_t rmm_init(void)
195 int rmmd_setup(void)
234 					((void *)shared_buf_base != NULL));
275 				 uint64_t x4, void *handle)
311 			  uint64_t x3, uint64_t x4, void *cookie,
312 			  void *handle, uint64_t flags)
371 static void *rmmd_cpu_on_finish_handler(const void *arg)
443 				uint64_t x3, uint64_t x4, void *cookie,
444 				void *handle, uint64_t flags)