XenPvBlkDxe.h

Go to the documentation of this file.

 
#ifndef __EFI_XEN_PV_BLK_DXE_H__
#define __EFI_XEN_PV_BLK_DXE_H__
 
#include <Uefi.h>
 
#define xen_mb()   MemoryFence()
#define xen_rmb()  MemoryFence()
#define xen_wmb()  MemoryFence()
 
//
// Libraries
//
#include <Library/UefiBootServicesTableLib.h>
#include <Library/MemoryAllocationLib.h>
#include <Library/BaseMemoryLib.h>
#include <Library/BaseLib.h>
#include <Library/UefiLib.h>
#include <Library/DevicePathLib.h>
#include <Library/DebugLib.h>
 
//
// UEFI Driver Model Protocols
//
#include <Protocol/DriverBinding.h>
#include <Protocol/ComponentName2.h>
#include <Protocol/ComponentName.h>
 
//
// Consumed Protocols
//
#include <Protocol/XenBus.h>
 
//
// Produced Protocols
//
#include <Protocol/BlockIo.h>
 
//
// Driver Version
//
#define XEN_PV_BLK_DXE_VERSION  0x00000010
 
//
// Protocol instances
//
extern EFI_DRIVER_BINDING_PROTOCOL   gXenPvBlkDxeDriverBinding;
extern EFI_COMPONENT_NAME2_PROTOCOL  gXenPvBlkDxeComponentName2;
extern EFI_COMPONENT_NAME_PROTOCOL   gXenPvBlkDxeComponentName;
 
//
// Include files with function prototypes
//
#include "DriverBinding.h"
#include "ComponentName.h"
#include "BlockIo.h"
 
#endif