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; } } }
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); } } }
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; } } }