XenInfo.h

Go to the documentation of this file.

 
#ifndef __XEN_INFO_H__
#define __XEN_INFO_H__
 
#define EFI_XEN_INFO_GUID \
    { 0xd3b46f3b, 0xd441, 0x1244, {0x9a, 0x12, 0x0, 0x12, 0x27, 0x3f, 0xc1, 0x4d } }
 
typedef struct {
  UINT16    VersionMajor;
  UINT16    VersionMinor;
  VOID      *RsdpPvh;
} EFI_XEN_INFO;
 
extern EFI_GUID  gEfiXenInfoGuid;
 
#endif