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.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 31