2013-12-08 02:35:52 +01:00
|
|
|
/** @file
|
|
|
|
|
Ovmf info structure passed by Xen
|
|
|
|
|
|
|
|
|
|
Copyright (c) 2013, Citrix Systems UK Ltd.<BR>
|
|
|
|
|
|
2019-04-04 01:06:33 +02:00
|
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
2013-12-08 02:35:52 +01:00
|
|
|
|
|
|
|
|
**/
|
|
|
|
|
|
|
|
|
|
#ifndef __XEN_H__
|
|
|
|
|
#define __XEN_H__
|
|
|
|
|
|
|
|
|
|
#include <PiPei.h>
|
|
|
|
|
|
|
|
|
|
// Physical address of OVMF info
|
|
|
|
|
#define OVMF_INFO_PHYSICAL_ADDRESS 0x00001000
|
|
|
|
|
|
|
|
|
|
// This structure must match the definition on Xen side
|
|
|
|
|
#pragma pack(1)
|
|
|
|
|
typedef struct {
|
|
|
|
|
CHAR8 Signature[14]; // XenHVMOVMF\0
|
|
|
|
|
UINT8 Length; // Length of this structure
|
|
|
|
|
UINT8 Checksum; // Set such that the sum over bytes 0..length == 0
|
|
|
|
|
//
|
|
|
|
|
// Physical address of an array of TablesCount elements.
|
|
|
|
|
//
|
|
|
|
|
// Each element contains the physical address of a BIOS table.
|
|
|
|
|
//
|
|
|
|
|
EFI_PHYSICAL_ADDRESS Tables;
|
|
|
|
|
UINT32 TablesCount;
|
|
|
|
|
//
|
|
|
|
|
// Physical address of the E820 table, contains E820EntriesCount entries.
|
|
|
|
|
//
|
|
|
|
|
EFI_PHYSICAL_ADDRESS E820;
|
|
|
|
|
UINT32 E820EntriesCount;
|
|
|
|
|
} EFI_XEN_OVMF_INFO;
|
|
|
|
|
#pragma pack()
|
|
|
|
|
|
|
|
|
|
#endif /* __XEN_H__ */
|
