EdkModulePkg/Include/Guid/PciHotplugDevice.h

   1 /*++
   2
   3 Copyright (c) 2006, Intel Corporation
   4 All rights reserved. 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.h
  15
  16 Abstract:
  17
  18   GUIDs used to indicate the device is Pccard hotplug device
  19
  20 --*/
  21
  22 #ifndef _PCI_HOTPLUG_DEVICE_GUID_H_
  23 #define _PCI_HOTPLUG_DEVICE_GUID_H_
  24
  25 #define EFI_PCI_HOTPLUG_DEVICE_GUID \
  26   { 0x0b280816, 0x52e7, 0x4e51, {0xaa, 0x57, 0x11, 0xbd, 0x41, 0xcb, 0xef, 0xc3 } }
  27
  28 extern EFI_GUID gEfiPciHotplugDeviceGuid;
  29
  30 #endif