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

[musl] / src / time / __map_file.c

diff --git a/src/time/__map_file.c b/src/time/__map_file.c
index d3cefa8..c2b29fe 100644 (file)
--- a/src/time/__map_file.c
+++ b/src/time/__map_file.c
@@ -2,15 +2,14 @@
 #include <fcntl.h>
 #include <sys/stat.h>
 #include "syscall.h"
-#include "kstat.h"
 
 const char unsigned *__map_file(const char *pathname, size_t *size)
 {
-       struct kstat st;
+       struct stat st;
        const unsigned char *map = MAP_FAILED;
        int fd = sys_open(pathname, O_RDONLY|O_CLOEXEC|O_NONBLOCK);
        if (fd < 0) return 0;
-       if (!syscall(SYS_fstat, fd, &st)) {
+       if (!__fstat(fd, &st)) {
                map = __mmap(0, st.st_size, PROT_READ, MAP_SHARED, fd, 0);
                *size = st.st_size;
        }