annotate osdep/timer.h @ 33017:cc8cef372901

Make "stuck keys" problem impossibly by resetting the internal key state when our key fifo overflowed.
author reimar
date Thu, 24 Mar 2011 22:11:18 +0000
parents 1453fc56d49c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
28744
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
1 /*
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
2 * This file is part of MPlayer.
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
3 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
4 * MPlayer is free software; you can redistribute it and/or modify
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
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: 28051
diff changeset
6 * the Free Software Foundation; either version 2 of the License, or
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
7 * (at your option) any later version.
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
8 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
9 * MPlayer is distributed in the hope that it will be useful,
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
12 * GNU General Public License for more details.
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
13 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
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: 28051
diff changeset
15 * with MPlayer; if not, write to the Free Software Foundation, Inc.,
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
16 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
17 */
5cfef41a1771 Add standard license headers to files.
diego
parents: 28051
diff changeset
18
23934
88bed2131f19 Identifiers starting with underscores are reserved.
diego
parents: 17566
diff changeset
19 #ifndef MPLAYER_TIMER_H
88bed2131f19 Identifiers starting with underscores are reserved.
diego
parents: 17566
diff changeset
20 #define MPLAYER_TIMER_H
1
3b5f5d1c5041 Initial revision
arpi_esp
parents:
diff changeset
21
31464
1453fc56d49c Change timer_name type from char* to char[]; patch taken from Uoti's tree.
diego
parents: 31187
diff changeset
22 extern const char timer_name[];
12954
f9755d9c479a Native darwin timer update.
wight
parents: 9380
diff changeset
23
17566
f580a7755ac5 Patch by Stefan Huehner / stefan % huehner ! org \
rathann
parents: 12954
diff changeset
24 void InitTimer(void);
f580a7755ac5 Patch by Stefan Huehner / stefan % huehner ! org \
rathann
parents: 12954
diff changeset
25 unsigned int GetTimer(void);
f580a7755ac5 Patch by Stefan Huehner / stefan % huehner ! org \
rathann
parents: 12954
diff changeset
26 unsigned int GetTimerMS(void);
f580a7755ac5 Patch by Stefan Huehner / stefan % huehner ! org \
rathann
parents: 12954
diff changeset
27 float GetRelativeTime(void);
1
3b5f5d1c5041 Initial revision
arpi_esp
parents:
diff changeset
28
2266
c2ed1e5742ed sleep stuff moved to linux/timertimer-lx.c
arpi
parents: 99
diff changeset
29 int usec_sleep(int usec_delay);
c2ed1e5742ed sleep stuff moved to linux/timertimer-lx.c
arpi
parents: 99
diff changeset
30
4863
df50da00260a POSIX compatible timer's callback
nick
parents: 4385
diff changeset
31 /* timer's callback handling */
df50da00260a POSIX compatible timer's callback
nick
parents: 4385
diff changeset
32 typedef void timer_callback( void );
28051
9e739bdb049c Get rid of pointless 'extern' keywords.
diego
parents: 23934
diff changeset
33 unsigned set_timer_callback(unsigned ms,timer_callback func);
9e739bdb049c Get rid of pointless 'extern' keywords.
diego
parents: 23934
diff changeset
34 void restore_timer(void);
4863
df50da00260a POSIX compatible timer's callback
nick
parents: 4385
diff changeset
35
23934
88bed2131f19 Identifiers starting with underscores are reserved.
diego
parents: 17566
diff changeset
36 #endif /* MPLAYER_TIMER_H */