//
// Copyright (c) Microsoft Corporation.  All rights reserved.
//
//
// This source code is licensed under Microsoft Shared Source License
// Version 1.0 for Windows CE.
// For a copy of the license visit http://go.microsoft.com/fwlink/?LinkId=3223.
//
// Constants used by the code coverage tools

#ifndef __KCOVER_H__
#define __KCOVER_H__

#define KCOVER_EXPECTED_LOGGING_REGION_ADDRESS    0x42000000
#define KCOVER_LOGGING_REGION_SIZE (8 * 1024 * 1024)

#endif

