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
27 VOID
28 );
29
36BOOLEAN
37EFIAPI
39 VOID
40 );
41
48EFIAPI
50 VOID
51 );
52
53#endif
BOOLEAN EFIAPI XenDetected(VOID)
BOOLEAN EFIAPI XenPvhDetected(VOID)
EFI_XEN_INFO *EFIAPI XenGetInfoHOB(VOID)