VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/XenPvBlkDxe/XenPvBlkDxe.h@ 107064

Last change on this file since 107064 was 99404, checked in by vboxsync, 23 months ago

Devices/EFI/FirmwareNew: Update to edk2-stable202302 and make it build, bugref:4643

  • Property svn:eol-style set to native
File size: 1.2 KB
Line 
1/** @file
2 Main header for XenPvBlkDxe
3
4 Copyright (C) 2014, Citrix Ltd.
5
6 SPDX-License-Identifier: BSD-2-Clause-Patent
7
8**/
9
10#ifndef __EFI_XEN_PV_BLK_DXE_H__
11#define __EFI_XEN_PV_BLK_DXE_H__
12
13#include <Uefi.h>
14
15#define xen_mb() MemoryFence()
16#define xen_rmb() MemoryFence()
17#define xen_wmb() MemoryFence()
18
19//
20// Libraries
21//
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>
29
30//
31// UEFI Driver Model Protocols
32//
33#include <Protocol/DriverBinding.h>
34#include <Protocol/ComponentName2.h>
35#include <Protocol/ComponentName.h>
36
37//
38// Consumed Protocols
39//
40#include <Protocol/XenBus.h>
41
42//
43// Produced Protocols
44//
45#include <Protocol/BlockIo.h>
46
47//
48// Driver Version
49//
50#define XEN_PV_BLK_DXE_VERSION 0x00000010
51
52//
53// Protocol instances
54//
55extern EFI_DRIVER_BINDING_PROTOCOL gXenPvBlkDxeDriverBinding;
56extern EFI_COMPONENT_NAME2_PROTOCOL gXenPvBlkDxeComponentName2;
57extern EFI_COMPONENT_NAME_PROTOCOL gXenPvBlkDxeComponentName;
58
59//
60// Include files with function prototypes
61//
62#include "DriverBinding.h"
63#include "ComponentName.h"
64#include "BlockIo.h"
65
66#endif
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette