2 Main header for XenPvBlkDxe
4 Copyright (C) 2014, Citrix Ltd.
6 SPDX-License-Identifier: BSD-2-Clause-Patent
10 #ifndef __EFI_XEN_PV_BLK_DXE_H__
11 #define __EFI_XEN_PV_BLK_DXE_H__
15 #define xen_mb() MemoryFence()
16 #define xen_rmb() MemoryFence()
17 #define xen_wmb() MemoryFence()
22 #include <Library/UefiBootServicesTableLib.h>
23 #include <Library/MemoryAllocationLib.h>
24 #include <Library/BaseMemoryLib.h>
25 #include <Library/BaseLib.h>
26 #include <Library/UefiLib.h>
27 #include <Library/DevicePathLib.h>
28 #include <Library/DebugLib.h>
32 // UEFI Driver Model Protocols
34 #include <Protocol/DriverBinding.h>
35 #include <Protocol/ComponentName2.h>
36 #include <Protocol/ComponentName.h>
42 #include <Protocol/XenBus.h>
48 #include <Protocol/BlockIo.h>
54 #define XEN_PV_BLK_DXE_VERSION 0x00000010
60 extern EFI_DRIVER_BINDING_PROTOCOL gXenPvBlkDxeDriverBinding
;
61 extern EFI_COMPONENT_NAME2_PROTOCOL gXenPvBlkDxeComponentName2
;
62 extern EFI_COMPONENT_NAME_PROTOCOL gXenPvBlkDxeComponentName
;
66 // Include files with function prototypes
68 #include "DriverBinding.h"
69 #include "ComponentName.h"