APIs/gettimeofday.api

   1 (* wrappi -*- tuareg -*-
   2  * Copyright (C) 2011-2012 Red Hat Inc.
   3  *
   4  * This library is free software; you can redistribute it and/or
   5  * modify it under the terms of the GNU Lesser General Public
   6  * License as published by the Free Software Foundation; either
   7  * version 2 of the License, or (at your option) any later version.
   8  *
   9  * This library is distributed in the hope that it will be useful,
  10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12  * Lesser General Public License for more details.
  13  *
  14  * You should have received a copy of the GNU Lesser General Public
  15  * License along with this library; if not, write to the Free Software
  16  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
  17  *)
  18
  19 struct timeval {
  20   time_t tv_sec;
  21   uint32 tv_usec
  22 }
  23
  24 entry_point
  25 struct timeval gettimeofday ()
  26 <<
  27   int r;
  28   struct timeval tv;
  29
  30   r = gettimeofday (&tv, NULL);
  31   if (r == -1) {
  32     set_error_errno ("gettimeofday");
  33     return NULL;
  34   }
  35   ret->tv_sec = tv.tv_sec;
  36   ret->tv_usec = tv.tv_usec;
  37   return ret;
  38 >>
  39 includes ["sys/time.h"]