diff options
| author | Richard Kistruck | 2008-11-11 16:57:30 +0000 |
|---|---|---|
| committer | Richard Kistruck | 2008-11-11 16:57:30 +0000 |
| commit | 38d28de5342ce33dd35fd3456c9c4fabf9fb21cb (patch) | |
| tree | 2b29618090f6bc29b7c69534baee8573476c3e97 /mps/code/mpmtypes.h | |
| parent | 32031684e22770a55c1cb1ea080e4b507f98a8c8 (diff) | |
| download | emacs-38d28de5342ce33dd35fd3456c9c4fabf9fb21cb.tar.gz emacs-38d28de5342ce33dd35fd3456c9c4fabf9fb21cb.zip | |
Mps br/timing: new type "clock", internal equivalent of mps_clock_t.
Used for a field in messages. (More uses to follow).
Copied from Perforce
Change: 166697
ServerID: perforce.ravenbrook.com
Diffstat (limited to 'mps/code/mpmtypes.h')
| -rw-r--r-- | mps/code/mpmtypes.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mps/code/mpmtypes.h b/mps/code/mpmtypes.h index c92662d2c94..aaece07f283 100644 --- a/mps/code/mpmtypes.h +++ b/mps/code/mpmtypes.h | |||
| @@ -40,6 +40,7 @@ typedef unsigned Shift; /* <design/type/#shift> */ | |||
| 40 | typedef unsigned Serial; /* <design/type/#serial> */ | 40 | typedef unsigned Serial; /* <design/type/#serial> */ |
| 41 | typedef Addr Ref; /* <design/type/#ref> */ | 41 | typedef Addr Ref; /* <design/type/#ref> */ |
| 42 | typedef void *Pointer; /* <design/type/#pointer> */ | 42 | typedef void *Pointer; /* <design/type/#pointer> */ |
| 43 | typedef unsigned long Clock; /* processor time */ | ||
| 43 | 44 | ||
| 44 | typedef Word RefSet; /* design.mps.refset */ | 45 | typedef Word RefSet; /* design.mps.refset */ |
| 45 | typedef Word ZoneSet; /* design.mps.refset */ | 46 | typedef Word ZoneSet; /* design.mps.refset */ |