<> <> <> <> <> <> <> DIRECTORY Basics, ConstArith, PBasics, YggEnvironment; YggInline: CEDAR DEFINITIONS IMPORTS ConstArith, PBasics = BEGIN PageNumber: TYPE = YggEnvironment.PageNumber; WordNumber: TYPE = YggEnvironment.WordNumber; WordsForBytes: PROC [bytes: INT] RETURNS [words: INT] = CHECKED INLINE { RETURN[ PBasics.BITRSHIFT[bytes + Basics.bytesPerWord - 1, Basics.logBytesPerWord]]; }; BytesForWords: PROC [words: INT] RETURNS [bytes: INT] = CHECKED INLINE { RETURN[ PBasics.BITLSHIFT[words, Basics.logBytesPerWord]]; }; LongZero: UNSAFE PROC [where: LONG POINTER, nWords: CARDINAL] = TRUSTED INLINE { PBasics.Fill[where, nWords, 0] }; ShortWordsFromPages: PROC [pages: CARDINAL, deviceCharacteristics: YggEnvironment.DeviceCharacteristics] RETURNS [words: CARDINAL] = INLINE { RETURN [Basics.BITSHIFT[value: pages, count: deviceCharacteristics.logWordsPerPage]] }; WordsFromPages: PROC [pages: PageNumber, deviceCharacteristics: YggEnvironment.DeviceCharacteristics] RETURNS [words: WordNumber] = TRUSTED INLINE { RETURN[ConstArith.Mul[ConstArith.FromInt[pages], ConstArith.FromInt[deviceCharacteristics.wordsPerPage]]]}; PagesFromWords: PROC [words: WordNumber, deviceCharacteristics: YggEnvironment.DeviceCharacteristics] RETURNS [pages: PageNumber] = TRUSTED INLINE { RETURN [ConstArith.ToInt[ConstArith.Div[words, ConstArith.FromCard[deviceCharacteristics.wordsPerPage]]]] }; DecomposeWords: PROC [words: WordNumber, deviceCharacteristics: YggEnvironment.DeviceCharacteristics] RETURNS [page: PageNumber, wordInPage: CARDINAL] = TRUSTED INLINE { q, r: ConstArith.Const; [q, r] _ ConstArith.DivMod[words, ConstArith.FromCard[deviceCharacteristics.wordsPerPage]]; RETURN [ConstArith.ToInt[q], ConstArith.ToInt[r]] }; END.