singrdk/base/Kernel/SpecSharp.Contracts/Microsoft.Singularity.Processor.sg

// ----------------------------------------------------------------------------
//
//  Copyright (c) Microsoft Corporation.  All rights reserved.
//
// ----------------------------------------------------------------------------

using System;
namespace Microsoft.Singularity
{
	public class Processor
	{
        public static Processor! CurrentProcessor
        {
            get;
        }
	}
}