EdkCompatibilityPkg/Foundation/Guid/PciHotPlugDevice/PciHotPlugDevice.c

   1 /*++
   2
   3 Copyright (c) 2004, Intel Corporation. All rights reserved.<BR>
   4 This program and the accompanying materials
   5 are licensed and made available under the terms and conditions of the BSD License
   6 which accompanies this distribution.  The full text of the license may be found at
   7 http://opensource.org/licenses/bsd-license.php
   8
   9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11
  12 Module Name:
  13
  14     PciHotplugDevice.c
  15
  16 Abstract:
  17
  18
  19   GUIDs used to indicate the device is Pccard hotplug device
  20
  21 --*/
  22
  23 #include "Tiano.h"
  24 #include EFI_GUID_DEFINITION(PciHotPlugDevice)
  25
  26
  27 EFI_GUID  gEfiPciHotplugDeviceGuid = EFI_PCI_HOTPLUG_DEVICE_GUID;
  28
  29 EFI_GUID_STRING(&gEfiPciHotplugDeviceGuid, "PCI Hotplug Device", "PCI Hotplug Device GUID in EFI System Table");