501
502
503
504
505
506
507
508
509
510
511
512
513
514
|
}
int
fflush(FILE *restrict stream)
{
return libc.fflush(stream);
}
void
abort(void)
{
libc.abort();
OF_UNREACHABLE
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
|
}
int
fflush(FILE *restrict stream)
{
return libc.fflush(stream);
}
#ifdef OF_AMIGAOS_M68K
int
snprintf(char *restrict str, size_t size, const char *restrict fmt, ...)
{
va_list args;
int ret;
va_start(args, fmt);
ret = vsnprintf(str, size, fmt, args);
va_end(args);
return ret;
}
int
vsnprintf(char *restrict str, size_t size, const char *restrict fmt,
va_list args)
{
return libc.vsnprintf(str, size, fmt, args);
}
#endif
void
abort(void)
{
libc.abort();
OF_UNREACHABLE
|