Home | History | Annotate | Download | only in Guid
      1 /** @file
      2   GUID to be used to identify the XenBus root node on non-PCI Xen guests
      3 
      4   Copyright (C) 2015, Linaro Ltd.
      5 
      6   This program and the accompanying materials are licensed and made available
      7   under the terms and conditions of the BSD License that accompanies this
      8   distribution. The full text of the license may be found at
      9   http://opensource.org/licenses/bsd-license.php.
     10 
     11   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT
     12   WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
     13 
     14 **/
     15 
     16 #ifndef __XENBUS_ROOT_DEVICE_H__
     17 #define __XENBUS_ROOT_DEVICE_H__
     18 
     19 #define XENBUS_ROOT_DEVICE_GUID \
     20 {0xa732241f, 0x383d, 0x4d9c, {0x8a, 0xe1, 0x8e, 0x09, 0x83, 0x75, 0x89, 0xd7}}
     21 
     22 extern EFI_GUID gXenBusRootDeviceGuid;
     23 
     24 #endif
     25