-- File: GermOpsImplDicentra.mesa - last edit:
-- AOF                 11-Feb-88 16:52:48
-- HGM                  8-Oct-83 17:49:55
-- Copyright (C) 1983, 1988 by Xerox Corporation. All rights reserved. 

DIRECTORY
  BootFile USING [Header],
  DicentraInputOutput USING [numberVirtualPages],
  Environment USING [PageNumber],
  GermOps USING [],
  PageMap USING [flagsVacant, GetState, RealPageNumber, State];

GermOpsImplDicentra: PROGRAM
  IMPORTS PageMap EXPORTS GermOps
  SHARES GermOps, PageMap =
  
  BEGIN
  
  -- PUBLIC procedures
  
  -- This procedure was copied from RealMemoryImplDLion
  
  BoundsVanillaMemory: PUBLIC --GermOps. -- PROCEDURE
    RETURNS [vanillaMin, vanillaMax: Environment.PageNumber] =
    BEGIN
    virtual: Environment.PageNumber;
    state: PageMap.State;
    real: PageMap.RealPageNumber;
    vanillaMin ¬ LAST[PageMap.RealPageNumber];
    vanillaMax ¬ FIRST[PageMap.RealPageNumber];
    FOR virtual IN [0..DicentraInputOutput.numberVirtualPages) DO
      [state, real] ¬ PageMap.GetState[virtual];
      IF state.flags ~= PageMap.flagsVacant THEN
        BEGIN
        vanillaMin ¬ MIN[vanillaMin, real];
        vanillaMax ¬ MAX[vanillaMax, real];
        END;
      ENDLOOP;
    END;
  
  ProcessMachineDependentSwitches: PUBLIC -- GermOps -- PROCEDURE [
    header: LONG POINTER TO BootFile.Header,
    highestMappedPage: Environment.PageNumber]
    RETURNS [newHighestMappedPage:Environment.PageNumber] =
    BEGIN
    newHighestMappedPage ¬ highestMappedPage;
    END;
  
  
  END...