1 /* Interface to DS80C400 ROM functions. */
6 extern unsigned char init_rom(void __xdata *loMem,
7 void __xdata *hiMem) __naked;
9 extern unsigned long task_gettimemillis_long(void) __naked;
11 extern unsigned char task_getthreadID(void) __naked;
13 /** Timer reload value for 14.746 MHz crystal. */
14 #define RELOAD_14_746 0xfb33
16 /** Timer reload value for 18.432 MHz crystal. */
17 #define RELOAD_18_432 0xfa00
19 /** Timer reload value for 29.491 MHz crystal. */
20 #define RELOAD_29_491 0xfd99
22 /** Timer reload value for 36.864 MHz crystal. */
23 #define RELOAD_36_864 0xfd00
25 /** Timer reload value for 58.982 MHz crystal. */
26 #define RELOAD_58_982 0xfecc
28 /** Timer reload value for 73.728 MHz crystal. */
29 #define RELOAD_73_728 0xfe80
31 extern unsigned int task_gettickreload(void);
33 extern void task_settickreload(unsigned);