https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=240769

--- Comment #2 from Conrad Meyer <[email protected]> ---
Yeah, time is one of the functions provided by vdso on Linux x86_64:

       __vdso_clock_gettime   LINUX_2.6
       __vdso_getcpu          LINUX_2.6
       __vdso_gettimeofday    LINUX_2.6
       __vdso_time            LINUX_2.6

http://man7.org/linux/man-pages/man7/vdso.7.html

-- 
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "[email protected]"

Reply via email to