Mps br/timing: hack in mps_clock_t

(Should go via new Clock type in mpmtypes, mpsi_check(), etc).

Copied from Perforce
 Change: 166591
 ServerID: perforce.ravenbrook.com

1 files changed, 8 insertions, 0 deletions

diff --git a/mps/code/message.c b/mps/code/message.c
index 284e78c6314..ae7ba930616 100644
--- a/mps/code/message.c
+++ b/mps/code/message.c
@@ -284,6 +284,14 @@ MessageClass MessageGetClass(Message message)
   return message->class;
 }
 
+/* Return the class of a message */
+mps_clock_t MessageGetClock(Message message)
+{
+  AVERT(Message, message);
+
+  return message->postedClock;
+}
+
 static void MessageDelete(Message message)
 {
   AVERT(Message, message);