<<>> <> <> <> <<>> <> <> <> <<>> DIRECTORY TargetArchitecture; PCRMonitorDefs: CEDAR DEFINITIONS ~ { MonitorLock: TYPE ~ MACHINE DEPENDENT RECORD [ waitersQueue: WaitersQueueRep, holder: Thread, pad: TargetArchitecture.Contents <> ]; WaitersQueueRep: TYPE ~ MACHINE DEPENDENT RECORD [ generalSpinLock: GeneralSpinLockRep, tail: Thread ]; GeneralSpinLockRep: TYPE ~ MACHINE DEPENDENT RECORD [ locked: LockBit ]; LockBit: TYPE ~ TargetArchitecture.Contents; Thread: TYPE ~ TargetArchitecture.Contents; <<>> <> <> nullHolder: Thread ~ TargetArchitecture.zeroContents; }.