| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | #ifndef UNICODE
 | 
					
						
							|  |  |  | #define UNICODE
 | 
					
						
							|  |  |  | #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-10-13 00:57:24 -04:00
										 |  |  | #include <windows.h>
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | #include <ctype.h>
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | typedef wchar_t F_SYMBOL; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #define unbox_symbol_string unbox_u16_string
 | 
					
						
							|  |  |  | #define from_symbol_string from_u16_string
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #define FACTOR_OS_STRING "wince"
 | 
					
						
							|  |  |  | #define FACTOR_DLL L"factor-ce.dll"
 | 
					
						
							|  |  |  | #define FACTOR_DLL_NAME "factor-ce.dll"
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | int errno; | 
					
						
							|  |  |  | char *strerror(int err); | 
					
						
							| 
									
										
										
										
											2007-10-21 15:18:31 -04:00
										 |  |  | void flush_icache(CELL start, CELL end); | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | char *getenv(char *name); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #define snprintf _snprintf
 | 
					
						
							|  |  |  | #define snwprintf _snwprintf
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-11-19 02:50:05 -05:00
										 |  |  | s64 current_micros(void); | 
					
						
							| 
									
										
										
										
											2007-10-13 00:57:24 -04:00
										 |  |  | void c_to_factor_toplevel(CELL quot); | 
					
						
							| 
									
										
										
										
											2007-11-21 15:27:25 -05:00
										 |  |  | void open_console(void); |