2 Platform VTd Info Sample PEI driver.
4 Copyright (c) 2017, 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.
17 #include <Ppi/VTdInfo.h>
19 #include <Library/PeiServicesLib.h>
20 #include <Library/DebugLib.h>
24 UINT8 HostAddressWidth
;
26 UINT32 VTdEngineCount
;
27 UINT64 VTdEngineAddress
[2];
30 MY_VTD_INFO_PPI mPlatformVTdSample
= {
31 EDKII_VTD_INFO_PPI_REVISION
,
35 {0xFED90000, 0xFED91000},
38 EFI_PEI_PPI_DESCRIPTOR mPlatformVTdInfoSampleDesc
= {
39 (EFI_PEI_PPI_DESCRIPTOR_PPI
| EFI_PEI_PPI_DESCRIPTOR_TERMINATE_LIST
),
40 &gEdkiiVTdInfoPpiGuid
,
45 Platform VTd Info sample driver.
47 @param[in] FileHandle Handle of the file being invoked.
48 @param[in] PeiServices Describes the list of possible PEI Services.
50 @retval EFI_SUCCESS if it completed successfully.
54 PlatformVTdInfoSampleInitialize (
55 IN EFI_PEI_FILE_HANDLE FileHandle
,
56 IN CONST EFI_PEI_SERVICES
**PeiServices
61 Status
= PeiServicesInstallPpi (&mPlatformVTdInfoSampleDesc
);
62 ASSERT_EFI_ERROR (Status
);