9ff2e1feb71cafb65ce1a8445b3dc49d8be731f8
[fw/altos] / src / test / ao_lisp_os.h
1 /*
2  * Copyright © 2016 Keith Packard <keithp@keithp.com>
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License as published by
6  * the Free Software Foundation; version 2 of the License.
7  *
8  * This program is distributed in the hope that it will be useful, but
9  * WITHOUT ANY WARRANTY; without even the implied warranty of
10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
11  * General Public License for more details.
12  *
13  * You should have received a copy of the GNU General Public License along
14  * with this program; if not, write to the Free Software Foundation, Inc.,
15  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
16  */
17
18 #ifndef _AO_LISP_OS_H_
19 #define _AO_LISP_OS_H_
20
21 #include <stdio.h>
22 #include <stdlib.h>
23 #include <time.h>
24
25 #define AO_LISP_POOL_TOTAL      3072
26 #define AO_LISP_SAVE            1
27 #define DBG_MEM_STATS           1
28
29 extern int ao_lisp_getc(void);
30
31 static inline void
32 ao_lisp_os_flush() {
33         fflush(stdout);
34 }
35
36 static inline void
37 ao_lisp_abort(void)
38 {
39         abort();
40 }
41
42 static inline void
43 ao_lisp_os_led(int led)
44 {
45         printf("leds set to 0x%x\n", led);
46 }
47
48 static inline void
49 ao_lisp_os_delay(int delay)
50 {
51         if (!delay)
52                 return;
53         struct timespec ts = {
54                 .tv_sec = delay / 1000,
55                 .tv_nsec = (delay % 1000) * 1000000,
56         };
57         nanosleep(&ts, NULL);
58 }
59 #endif