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 |