os_port.h
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007 #ifndef HEADER_OS_PORT_H
00008 #define HEADER_OS_PORT_H
00009
00010 #include <stdint.h>
00011 #include <stddef.h>
00012 #include <stdlib.h>
00013 #include <time.h>
00014 #include <sys/time.h>
00015 #include <byteswap.h>
00016
00017 #define STDCALL
00018 #define EXP_FUNC
00019 #define TTY_FLUSH()
00020
00021
00022 #define abort() assert ( 0 )
00023
00024
00025 static inline void close ( int fd __unused ) {
00026
00027 }
00028
00029 typedef void FILE;
00030
00031 static inline FILE * fopen ( const char *filename __unused,
00032 const char *mode __unused ) {
00033 return NULL;
00034 }
00035
00036 static inline int fseek ( FILE *stream __unused, long offset __unused,
00037 int whence __unused ) {
00038 return -1;
00039 }
00040
00041 static inline long ftell ( FILE *stream __unused ) {
00042 return -1;
00043 }
00044
00045 static inline size_t fread ( void *ptr __unused, size_t size __unused,
00046 size_t nmemb __unused, FILE *stream __unused ) {
00047 return -1;
00048 }
00049
00050 static inline int fclose ( FILE *stream __unused ) {
00051 return -1;
00052 }
00053
00054 #define CONFIG_SSL_CERT_VERIFICATION 1
00055 #define CONFIG_SSL_MAX_CERTS 1
00056 #define CONFIG_X509_MAX_CA_CERTS 1
00057 #define CONFIG_SSL_EXPIRY_TIME 24
00058 #define CONFIG_SSL_ENABLE_CLIENT 1
00059 #define CONFIG_BIGINT_CLASSICAL 1
00060
00061 #endif