Example #1
0
        internal static void Initialize()
        {
            switch (ptType)
            {
            case PTType.CentralPT: {
                CentralPT.Initialize();
                break;
            }

            case PTType.CentralPTHimem: {
                CentralPTHimem.Initialize();
                break;
            }

            case PTType.FlatDistributedPT: {
                FlatDistributedPT.Initialize();
                break;
            }

            case PTType.FlatDistributedPTTest: {
                FlatDistributedPTTest.Initialize();
                break;
            }

            default: {
                VTable.NotReached("Unknown PT type: " + ptType);
                break;
            }
            }
        }
Example #2
0
        internal static uint PageTableEntry(UIntPtr page)
        {
            switch (ptType)
            {
            case PTType.CentralPT:
            case PTType.CentralPTHimem:
                return(CentralPT.PageTableEntryImpl(page));

#if !SINGULARITY
            case PTType.FlatDistributedPT:
            case PTType.FlatDistributedPTTest:
                return(FlatDistributedPT.PageTableEntryImpl(page));
#endif
            default: {
                VTable.NotReached("Unknown PT type: " + ptType);
                return(0xffffffff);
            }
            }
        }
Example #3
0
        internal static void SetPageTableEntry(UIntPtr page, uint value)
        {
            switch (ptType)
            {
            case PTType.CentralPT:
            case PTType.CentralPTHimem: {
                CentralPT.SetPageTableEntryImpl(page, value);
                break;
            }

#if !SINGULARITY
            case PTType.FlatDistributedPT:
            case PTType.FlatDistributedPTTest: {
                FlatDistributedPT.SetPageTableEntryImpl(page, value);
                break;
            }
#endif
            default: {
                VTable.NotReached("Unknown PT type: " + ptType);
                break;
            }
            }
        }