4 Copyright (c) 2008 - 2012, Intel Corporation. All rights reserved.<BR>
5 This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #include "AcpiPlatform.h"
16 #include <Library/HobLib.h>
17 #include <Guid/XenInfo.h>
25 EFI_HOB_GUID_TYPE
*GuidHob
;
28 // See if a XenInfo HOB is available
30 GuidHob
= GetFirstGuidHob (&gEfiXenInfoGuid
);
31 if (GuidHob
== NULL
) {
42 IN EFI_ACPI_TABLE_PROTOCOL
*AcpiProtocol
,
43 IN VOID
*AcpiTableBuffer
,
44 IN UINTN AcpiTableBufferSize
,
48 return InstallAcpiTable(