annotate osdep/gettimeofday.c @ 35307:57027e8acb11

Mark pointer arguments that are not written to as const.
author reimar
date Sat, 10 Nov 2012 13:41:38 +0000
parents f5d48f0e33c3
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
28744
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
1 /*
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
2 * This file is part of MPlayer.
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
3 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
4 * MPlayer is free software; you can redistribute it and/or modify
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
5 * it under the terms of the GNU General Public License as published by
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
6 * the Free Software Foundation; either version 2 of the License, or
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
7 * (at your option) any later version.
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
8 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
9 * MPlayer is distributed in the hope that it will be useful,
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
12 * GNU General Public License for more details.
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
13 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
14 * You should have received a copy of the GNU General Public License along
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
15 * with MPlayer; if not, write to the Free Software Foundation, Inc.,
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
16 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
17 */
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
18
16985
08cac43f1e38 Unify include paths, -I.. is in CFLAGS.
diego
parents: 9834
diff changeset
19 #include "config.h"
9829
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
20
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
21 #include <sys/time.h>
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
22 #include <sys/timeb.h>
31667
f5d48f0e33c3 Fix gettimeofday type to match the real one.
reimar
parents: 28744
diff changeset
23 int gettimeofday(struct timeval* t, struct timezone* timezone)
9829
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
24 { struct timeb timebuffer;
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
25 ftime( &timebuffer );
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
26 t->tv_sec=timebuffer.time;
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
27 t->tv_usec=1000*timebuffer.millitm;
31667
f5d48f0e33c3 Fix gettimeofday type to match the real one.
reimar
parents: 28744
diff changeset
28 return 0;
9829
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
29 }