Use only ABI variant by removing 'ifdef SWITCHITFORABI'.
@@ -61,7 +61,6 @@ void *va_arg_builtin (void *p, uint64_t t) {
}
void *va_stack_arg_builtin (void *p, size_t s) {
-#ifdef SWITCHITFORABI
struct aarch64_va_list *va = p;
void *a;
long size = (s + 7) / 8 * 8;
@@ -82,9 +81,6 @@ void *va_stack_arg_builtin (void *p, size_t s) {
}
if (s > 2 * 8) return *(void **) a; /* address */
return a;
-#else
- return *(void **) va_arg_builtin (p, MIR_T_I64);
-#endif
}
void va_start_interp_builtin (MIR_context_t ctx, void *p, void *a) {
