TianoCore EDK2 master
Loading...
Searching...
No Matches
XenIo.h
Go to the documentation of this file.
1
17#ifndef __PROTOCOL_XENIO_H__
18#define __PROTOCOL_XENIO_H__
19
20#include <IndustryStandard/Xen/xen.h>
21
22#define XENIO_PROTOCOL_GUID \
23 {0x6efac84f, 0x0ab0, 0x4747, {0x81, 0xbe, 0x85, 0x55, 0x62, 0x59, 0x04, 0x49}}
24
29
34 //
35 // Protocol data fields
36 //
37 EFI_PHYSICAL_ADDRESS GrantTableAddress;
38};
39
40extern EFI_GUID gXenIoProtocolGuid;
41
42#endif
UINT64 EFI_PHYSICAL_ADDRESS
Definition: UefiBaseType.h:50
Definition: Base.h:213