2 GUIDs used to indicate the device is Pccard hotplug device
4 Copyright (c) 2006, Intel Corporation
5 All rights reserved. This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #ifndef __PCI_HOTPLUG_DEVICE_GUID_H_
16 #define __PCI_HOTPLUG_DEVICE_GUID_H_
18 #define EFI_PCI_HOTPLUG_DEVICE_GUID \
19 { 0x0b280816, 0x52e7, 0x4e51, {0xaa, 0x57, 0x11, 0xbd, 0x41, 0xcb, 0xef, 0xc3 } }
21 extern EFI_GUID gEfiPciHotplugDeviceGuid
;
23 #endif // __PCI_HOTPLUG_DEVICE_GUID_H_