/* Linux defines the ftime system call but doesn't actually implement
   it.  Use the generic implementation.  */
#include <sysdeps/generic/ftime.c>