TianoCore EDK2 master
Loading...
Searching...
No Matches
XenPlatformLib.h
Go to the documentation of this file.
1
13#ifndef _XEN_PLATFORM_LIB_H_
14#define _XEN_PLATFORM_LIB_H_
15
16#include <Guid/XenInfo.h>
17
24BOOLEAN
25EFIAPI
26XenDetected (
27 VOID
28 );
29
36BOOLEAN
37EFIAPI
38XenPvhDetected (
39 VOID
40 );
41
47EFI_XEN_INFO *
48EFIAPI
49XenGetInfoHOB (
50 VOID
51 );
52
53#endif
XenDetected
BOOLEAN EFIAPI XenDetected(VOID)
Definition: XenPlatformLib.c:59
XenPvhDetected
BOOLEAN EFIAPI XenPvhDetected(VOID)
Definition: XenPlatformLib.c:74
XenGetInfoHOB
EFI_XEN_INFO *EFIAPI XenGetInfoHOB(VOID)
Definition: XenPlatformLib.c:24
EFI_XEN_INFO
Definition: XenInfo.h:15