linux.hh (9141:593fe25c86a6) linux.hh (11381:516213d2f0cf)
1/*
2 * Copyright (c) 2003-2005 The Regents of The University of Michigan
3 * Copyright (c) 2009 The University of Edinburgh
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are
8 * met: redistributions of source code must retain the above copyright

--- 86 unchanged lines hidden (view full) ---

95 int32_t tms_utime; //!< user time
96 int32_t tms_stime; //!< system time
97 int32_t tms_cutime; //!< user time of children
98 int32_t tms_cstime; //!< system time of children
99 };
100
101 /// This table maps the target open() flags to the corresponding
102 /// host open() flags.
1/*
2 * Copyright (c) 2003-2005 The Regents of The University of Michigan
3 * Copyright (c) 2009 The University of Edinburgh
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are
8 * met: redistributions of source code must retain the above copyright

--- 86 unchanged lines hidden (view full) ---

95 int32_t tms_utime; //!< user time
96 int32_t tms_stime; //!< system time
97 int32_t tms_cutime; //!< user time of children
98 int32_t tms_cstime; //!< system time of children
99 };
100
101 /// This table maps the target open() flags to the corresponding
102 /// host open() flags.
103 static OpenFlagTransTable openFlagTable[];
103 static SyscallFlagTransTable openFlagTable[];
104
105 /// Number of entries in openFlagTable[].
106 static const int NUM_OPEN_FLAGS;
107
108 //@{
109 /// open(2) flag values.
110 static const int TGT_O_RDONLY = 00000000; //!< O_RDONLY
111 static const int TGT_O_WRONLY = 00000001; //!< O_WRONLY

--- 53 unchanged lines hidden --- 		104
105 /// Number of entries in openFlagTable[].
106 static const int NUM_OPEN_FLAGS;
107
108 //@{
109 /// open(2) flag values.
110 static const int TGT_O_RDONLY = 00000000; //!< O_RDONLY
111 static const int TGT_O_WRONLY = 00000001; //!< O_WRONLY

--- 53 unchanged lines hidden ---