Renamed to match filename naming recommendations.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@4875 6f19259b-4bc3-4df7-8a09-765794883524

EdkCompatibilityPkg/Foundation/Guid/PciHotPlugDevice/PciHotPlugDevice.c

@@ -0,0 +1,29 @@
+/*++
+
+Copyright (c) 2004, Intel Corporation                                                         
+All rights reserved. This program and the accompanying materials                          
+are licensed and made available under the terms and conditions of the BSD License         
+which accompanies this distribution.  The full text of the license may be found at        
+http://opensource.org/licenses/bsd-license.php                                            
+                                                                                          
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,                     
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.             
+
+Module Name:
+  
+    PciHotplugDevice.c
+    
+Abstract:
+
+
+  GUIDs used to indicate the device is Pccard hotplug device
+
+--*/
+
+#include "Tiano.h"
+#include EFI_GUID_DEFINITION(PciHotplugDevice)
+
+
+EFI_GUID  gEfiPciHotplugDeviceGuid = EFI_PCI_HOTPLUG_DEVICE_GUID;
+
+EFI_GUID_STRING(&gEfiPciHotplugDeviceGuid, "PCI Hotplug Device", "PCI Hotplug Device GUID in EFI System Table");