annotate Gui/timer.h @ 4302:9f12fd5f47d0
Modified the cache option value setting/reading, so we can report
in any case the cache size value used.
author |
bertrand |
date |
Tue, 22 Jan 2002 06:12:18 +0000 |
parents |
f91ad6d23ce9 |
children |
|
rev |
line source |
1693
|
1
|
|
2 #ifndef __MYTIMER
|
|
3 #define __MYTIMER
|
|
4
|
|
5 typedef void (* timerTSigHandler)( int signum );
|
|
6 extern timerTSigHandler timerSigHandler;
|
|
7
|
|
8 extern void timerSetHandler( timerTSigHandler handler );
|
|
9 extern void timerInit( void );
|
|
10 extern void timerDone( void );
|
|
11
|
2080
|
12 #endif
|