TianoCore EDK2 master
Loading...
Searching...
No Matches
XenSmbiosPlatformDxe.h
Go to the documentation of this file.
1
12#ifndef XEN_SMBIOS_PLATFORM_DXE_H_
13#define XEN_SMBIOS_PLATFORM_DXE_H_
14
15#include <IndustryStandard/SmBios.h> // SMBIOS_TABLE_ENTRY_POINT
16
25 VOID
26 );
27
28#endif
SMBIOS_TABLE_ENTRY_POINT * GetXenSmbiosTables(VOID)
Definition: ArmXen.c:20