/////////////////////////////////////
// PUBLIC STATIC METHODS
/////////////////////////////////////
internal static void Initialize()
{
tableLock = new SmartSpinlock(SpinLock.Types.ProtectionDomainTable);
PdTable = new ProtectionDomain[maxPDs];
PdIndexGenerator = 1;
// Create the default protection domain
AddressSpace defaultSpace = VMManager.GetBootstrapSpace();
PdTable[0] = new ProtectionDomain(defaultSpace, "Default", true);
}
