SoCRocket
Transaction-Level Modeling Framework for Space Applications
#include "core/common/sr_iss/intrinsics/platformintrinsic.h"#include "core/common/sr_registry.h"#include "core/common/sr_report.h"#include <map>#include <string>#include <vector>#include "core/common/trapgen/utils/trap_utils.hpp"#include "core/common/trapgen/ABIIf.hpp"#include "core/common/systemc.h"#include <cstdio>#include <cstdlib>#include <cstring>#include <iostream>#include <set>#include <fcntl.h>#include <sys/stat.h>#include <sys/time.h>#include <sys/types.h>#include <utime.h>#include <io.h>#include <cerrno>#include <sstream>#include <ctime>Variables | |
| int | errno |
| #define CORRECT_O_APPEND 02000 |
Referenced by IntrinsicBase::correct_flags().
| #define CORRECT_O_CREAT 0100 |
Referenced by IntrinsicBase::correct_flags().
| #define CORRECT_O_EXCL 0200 |
Referenced by IntrinsicBase::correct_flags().
| #define CORRECT_O_NOCTTY 0400 |
Referenced by IntrinsicBase::correct_flags().
| #define CORRECT_O_NONBLOCK 04000 |
Referenced by IntrinsicBase::correct_flags().
| #define CORRECT_O_RDONLY 00 |
Referenced by IntrinsicBase::correct_flags().
| #define CORRECT_O_RDWR 02 |
Referenced by IntrinsicBase::correct_flags().
| #define CORRECT_O_TRUNC 01000 |
Referenced by IntrinsicBase::correct_flags().
| #define CORRECT_O_WRONLY 01 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_APPEND 0x0008 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_CREAT 0x0200 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_EXCL 0x0800 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_NOCTTY 0x8000 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_NONBLOCK 0x4000 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_RDONLY 0x0000 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_RDWR 0x0002 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_TRUNC 0x0400 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_O_WRONLY 0x0001 |
Referenced by IntrinsicBase::correct_flags().
| #define NEWLIB_SC_2_C_BIND 108 |
| #define NEWLIB_SC_2_C_DEV 109 |
| #define NEWLIB_SC_2_CHAR_TERM 107 |
| #define NEWLIB_SC_2_FORT_DEV 110 |
| #define NEWLIB_SC_2_FORT_RUN 111 |
| #define NEWLIB_SC_2_LOCALEDEF 112 |
| #define NEWLIB_SC_2_PBS 113 |
| #define NEWLIB_SC_2_PBS_ACCOUNTING 114 |
| #define NEWLIB_SC_2_PBS_CHECKPOINT 115 |
| #define NEWLIB_SC_2_PBS_LOCATE 116 |
| #define NEWLIB_SC_2_PBS_MESSAGE 117 |
| #define NEWLIB_SC_2_PBS_TRACK 118 |
| #define NEWLIB_SC_2_SW_DEV 119 |
| #define NEWLIB_SC_2_UPE 120 |
| #define NEWLIB_SC_2_VERSION 121 |
| #define NEWLIB_SC_ADVISORY_INFO 54 |
| #define NEWLIB_SC_AIO_LISTIO_MAX 34 |
| #define NEWLIB_SC_AIO_MAX 35 |
| #define NEWLIB_SC_AIO_PRIO_DELTA_MAX 36 |
| #define NEWLIB_SC_ARG_MAX 0 |
| #define NEWLIB_SC_ASYNCHRONOUS_IO 21 |
| #define NEWLIB_SC_ATEXIT_MAX 55 |
| #define NEWLIB_SC_AVPHYS_PAGES 12 |
| #define NEWLIB_SC_BARRIERS 56 |
| #define NEWLIB_SC_BC_BASE_MAX 57 |
| #define NEWLIB_SC_BC_DIM_MAX 58 |
| #define NEWLIB_SC_BC_SCALE_MAX 59 |
| #define NEWLIB_SC_BC_STRING_MAX 60 |
| #define NEWLIB_SC_CHILD_MAX 1 |
| #define NEWLIB_SC_CLK_TCK 2 |
Referenced by sysconfIntrinsic< wordSize >::operator()().
| #define NEWLIB_SC_CLOCK_SELECTION 61 |
| #define NEWLIB_SC_COLL_WEIGHTS_MAX 62 |
| #define NEWLIB_SC_CPUTIME 63 |
| #define NEWLIB_SC_DELAYTIMER_MAX 37 |
| #define NEWLIB_SC_EXPR_NEST_MAX 64 |
| #define NEWLIB_SC_FSYNC 22 |
| #define NEWLIB_SC_GETGR_R_SIZE_MAX 50 |
| #define NEWLIB_SC_GETPW_R_SIZE_MAX 51 |
| #define NEWLIB_SC_HOST_NAME_MAX 65 |
| #define NEWLIB_SC_IOV_MAX 66 |
| #define NEWLIB_SC_IPV6 67 |
| #define NEWLIB_SC_JOB_CONTROL 5 |
| #define NEWLIB_SC_LINE_MAX 68 |
| #define NEWLIB_SC_LOGIN_NAME_MAX 52 |
| #define NEWLIB_SC_MAPPED_FILES 23 |
| #define NEWLIB_SC_MEMLOCK 24 |
| #define NEWLIB_SC_MEMLOCK_RANGE 25 |
| #define NEWLIB_SC_MEMORY_PROTECTION 26 |
| #define NEWLIB_SC_MESSAGE_PASSING 27 |
| #define NEWLIB_SC_MONOTONIC_CLOCK 69 |
| #define NEWLIB_SC_MQ_OPEN_MAX 13 |
| #define NEWLIB_SC_MQ_PRIO_MAX 14 |
| #define NEWLIB_SC_NGROUPS_MAX 3 |
| #define NEWLIB_SC_NPROCESSORS_CONF 9 |
| #define NEWLIB_SC_NPROCESSORS_ONLN 10 |
Referenced by sysconfIntrinsic< wordSize >::operator()().
| #define NEWLIB_SC_OPEN_MAX 4 |
| #define NEWLIB_SC_PAGE_SIZE NEWLIB_SC_PAGESIZE |
| #define NEWLIB_SC_PAGESIZE 8 |
| #define NEWLIB_SC_PHYS_PAGES 11 |
| #define NEWLIB_SC_PRIORITIZED_IO 28 |
| #define NEWLIB_SC_PRIORITY_SCHEDULING 101 |
| #define NEWLIB_SC_RAW_SOCKETS 70 |
| #define NEWLIB_SC_RE_DUP_MAX 73 |
| #define NEWLIB_SC_READER_WRITER_LOCKS 71 |
| #define NEWLIB_SC_REALTIME_SIGNALS 29 |
| #define NEWLIB_SC_REGEXP 72 |
| #define NEWLIB_SC_RTSIG_MAX 15 |
| #define NEWLIB_SC_SAVED_IDS 6 |
| #define NEWLIB_SC_SEM_NSEMS_MAX 16 |
| #define NEWLIB_SC_SEM_VALUE_MAX 17 |
| #define NEWLIB_SC_SEMAPHORES 30 |
| #define NEWLIB_SC_SHARED_MEMORY_OBJECTS 31 |
| #define NEWLIB_SC_SHELL 74 |
| #define NEWLIB_SC_SIGQUEUE_MAX 18 |
| #define NEWLIB_SC_SPAWN 75 |
| #define NEWLIB_SC_SPIN_LOCKS 76 |
| #define NEWLIB_SC_SPORADIC_SERVER 77 |
| #define NEWLIB_SC_SS_REPL_MAX 78 |
| #define NEWLIB_SC_STREAM_MAX 100 |
| #define NEWLIB_SC_SYMLOOP_MAX 79 |
| #define NEWLIB_SC_SYNCHRONIZED_IO 32 |
| #define NEWLIB_SC_THREAD_ATTR_STACKADDR 43 |
| #define NEWLIB_SC_THREAD_ATTR_STACKSIZE 44 |
| #define NEWLIB_SC_THREAD_CPUTIME 80 |
| #define NEWLIB_SC_THREAD_DESTRUCTOR_ITERATIONS 53 |
| #define NEWLIB_SC_THREAD_KEYS_MAX 38 |
| #define NEWLIB_SC_THREAD_PRIO_CEILING NEWLIB_SC_THREAD_PRIO_PROTECT |
| #define NEWLIB_SC_THREAD_PRIO_INHERIT 46 |
| #define NEWLIB_SC_THREAD_PRIO_PROTECT 47 |
| #define NEWLIB_SC_THREAD_PRIORITY_SCHEDULING 45 |
| #define NEWLIB_SC_THREAD_PROCESS_SHARED 48 |
| #define NEWLIB_SC_THREAD_SAFE_FUNCTIONS 49 |
| #define NEWLIB_SC_THREAD_SPORADIC_SERVER 81 |
| #define NEWLIB_SC_THREAD_STACK_MIN 39 |
| #define NEWLIB_SC_THREAD_THREADS_MAX 40 |
| #define NEWLIB_SC_THREADS 42 |
| #define NEWLIB_SC_TIMEOUTS 82 |
| #define NEWLIB_SC_TIMER_MAX 19 |
| #define NEWLIB_SC_TIMERS 33 |
| #define NEWLIB_SC_TRACE 83 |
| #define NEWLIB_SC_TRACE_EVENT_FILTER 84 |
| #define NEWLIB_SC_TRACE_EVENT_NAME_MAX 85 |
| #define NEWLIB_SC_TRACE_INHERIT 86 |
| #define NEWLIB_SC_TRACE_LOG 87 |
| #define NEWLIB_SC_TRACE_NAME_MAX 88 |
| #define NEWLIB_SC_TRACE_SYS_MAX 89 |
| #define NEWLIB_SC_TRACE_USER_EVENT_MAX 90 |
| #define NEWLIB_SC_TTY_NAME_MAX 41 |
| #define NEWLIB_SC_TYPED_MEMORY_OBJECTS 91 |
| #define NEWLIB_SC_TZNAME_MAX 20 |
| #define NEWLIB_SC_V6_ILP32_OFF32 92 |
| #define NEWLIB_SC_V6_ILP32_OFFBIG 93 |
| #define NEWLIB_SC_V6_LP64_OFF64 94 |
| #define NEWLIB_SC_V6_LPBIG_OFFBIG 95 |
| #define NEWLIB_SC_VERSION 7 |
| #define NEWLIB_SC_XBS5_ILP32_OFF32 NEWLIB_SC_V6_ILP32_OFF32 |
| #define NEWLIB_SC_XBS5_ILP32_OFFBIG NEWLIB_SC_V6_ILP32_OFFBIG |
| #define NEWLIB_SC_XBS5_LP64_OFF64 NEWLIB_SC_V6_LP64_OFF64 |
| #define NEWLIB_SC_XBS5_LPBIG_OFFBIG NEWLIB_SC_V6_LPBIG_OFFBIG |
| #define NEWLIB_SC_XOPEN_CRYPT 96 |
| #define NEWLIB_SC_XOPEN_ENH_I18N 97 |
| #define NEWLIB_SC_XOPEN_LEGACY 98 |
| #define NEWLIB_SC_XOPEN_REALTIME 99 |
| #define NEWLIB_SC_XOPEN_REALTIME_THREADS 102 |
| #define NEWLIB_SC_XOPEN_SHM 103 |
| #define NEWLIB_SC_XOPEN_STREAMS 104 |
| #define NEWLIB_SC_XOPEN_UNIX 105 |
| #define NEWLIB_SC_XOPEN_VERSION 106 |
| #define SR_HAS_INTRINSIC | ( | type | ) |
| #define SR_HAS_INTRINSIC_GENERATOR | ( | type, | |
| factory, | |||
| isinstance | |||
| ) |
| typedef _exitIntrinsic<unsigned int> _exitIntrinsic32 |
| typedef chmodIntrinsic<unsigned int> chmodIntrinsic32 |
| typedef chownIntrinsic<unsigned int> chownIntrinsic32 |
| typedef closeIntrinsic<unsigned int> closeIntrinsic32 |
| typedef creatIntrinsic<unsigned int> creatIntrinsic32 |
| typedef dup2Intrinsic<unsigned int> dup2Intrinsic32 |
| typedef dupIntrinsic<unsigned int> dupIntrinsic32 |
| typedef errorIntrinsic<unsigned int> errorIntrinsic32 |
| typedef fstatIntrinsic<unsigned int> fstatIntrinsic32 |
| typedef getenvIntrinsic<unsigned int> getenvIntrinsic32 |
| typedef getpidIntrinsic<unsigned int> getpidIntrinsic32 |
| typedef gettimeofdayIntrinsic<unsigned int> gettimeofdayIntrinsic32 |
| typedef isattyIntrinsic<unsigned int> isattyIntrinsic32 |
| typedef killIntrinsic<unsigned int> killIntrinsic32 |
| typedef lseekIntrinsic<unsigned int> lseekIntrinsic32 |
| typedef lstatIntrinsic<unsigned int> lstatIntrinsic32 |
| typedef mainIntrinsic<unsigned int> mainIntrinsic32 |
| typedef notifyIntrinsic<unsigned int> notifyIntrinsic32 |
| typedef openIntrinsic<unsigned int> openIntrinsic32 |
| typedef randomIntrinsic<unsigned int> randomIntrinsic32 |
| typedef readIntrinsic<unsigned int> readIntrinsic32 |
| typedef sbrkIntrinsic<unsigned int> sbrkIntrinsic32 |
| typedef statIntrinsic<unsigned int> statIntrinsic32 |
| typedef sysconfIntrinsic<unsigned int> sysconfIntrinsic32 |
| typedef timeIntrinsic<unsigned int> timeIntrinsic32 |
| typedef timesIntrinsic<unsigned int> timesIntrinsic32 |
| typedef unlinkIntrinsic<unsigned int> unlinkIntrinsic32 |
| typedef usleepIntrinsic<unsigned int> usleepIntrinsic32 |
| typedef utimesIntrinsic<unsigned int> utimesIntrinsic32 |
| typedef writeIntrinsic<unsigned int> writeIntrinsic32 |
| SR_HAS_INTRINSIC | ( | openIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | creatIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | closeIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | readIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | writeIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | isattyIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | sbrkIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | lseekIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | fstatIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | _exitIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | timesIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | timeIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | randomIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | getpidIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | chmodIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | dupIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | dup2Intrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | gettimeofdayIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | killIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | errorIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | chownIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | unlinkIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | usleepIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | statIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | lstatIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | utimesIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | mainIntrinsic32 | ) |
| SR_HAS_INTRINSIC | ( | notifyIntrinsic32 | ) |
| int errno |