This PPI is installed by some platform- or chipset-specific PEIM that \r
abstracts the Reset Service to other agents.\r
\r
- Copyright (c) 2006 - 2008, Intel Corporation \r
+ Copyright (c) 2006 - 2009, Intel Corporation \r
All rights reserved. This program and the accompanying materials \r
are licensed and made available under the terms and conditions of the BSD License \r
which accompanies this distribution. The full text of the license may be found at \r
#ifndef __RESET_PPI_H__\r
#define __RESET_PPI_H__\r
\r
-#include <Pi/PiPeiCis.h>\r
-\r
#define EFI_PEI_RESET_PPI_GUID \\r
{ \\r
0xef398d58, 0x9dfd, 0x4103, {0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f } \\r