Xen.h

Go to the documentation of this file.

 
#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__ */