Lines Matching defs:void
27 void trp_setup(uint64_t x0,
43 (void)x0;
49 if ((void *)x3 == NULL) {
81 (void)x0;
87 void trp_main(void)
109 static void trp_ret_rmi_version(unsigned long long rmi_version,
126 static void trp_asc_mark_realm(unsigned long long x1,
142 static void trp_asc_mark_nonsecure(unsigned long long x1,
158 void trp_rmi_handler(unsigned long fid,
165 (void)x2;
166 (void)x3;
167 (void)x4;
168 (void)x5;
169 (void)x6;