re-enable vdso clock_gettime on arm (32-bit) with workaround

[musl] / src / fcntl / posix_fallocate.c

diff --git a/src/fcntl/posix_fallocate.c b/src/fcntl/posix_fallocate.c
index 91d8063..c57a24a 100644 (file)
--- a/src/fcntl/posix_fallocate.c
+++ b/src/fcntl/posix_fallocate.c
@@ -1,6 +1,5 @@
 #include <fcntl.h>
 #include "syscall.h"
-#include "libc.h"
 
 int posix_fallocate(int fd, off_t base, off_t len)
 {
@@ -8,4 +7,4 @@ int posix_fallocate(int fd, off_t base, off_t len)
                __SYSCALL_LL_E(len));
 }
 
-LFS64(posix_fallocate);
+weak_alias(posix_fallocate, posix_fallocate64);