IntelSiliconPkg/VTdPei: Fix Linux build error.

Contributed-under: TianoCore Contribution Agreement 1.1
Signed-off-by: Jiewen Yao <jiewen.yao@intel.com>
This commit is contained in:
Jiewen Yao 2017-09-18 08:50:59 +08:00
parent bec7a86c70
commit 4084ccfa22
3 changed files with 3 additions and 3 deletions

View File

@ -18,7 +18,7 @@
#include <Library/IoLib.h>
#include <Library/DebugLib.h>
#include <IndustryStandard/Vtd.h>
#include <Ppi/VTdInfo.h>
#include <Ppi/VtdInfo.h>
#include "IntelVTdPmrPei.h"

View File

@ -23,7 +23,7 @@
#include <Library/HobLib.h>
#include <IndustryStandard/Vtd.h>
#include <Ppi/IoMmu.h>
#include <Ppi/VTdInfo.h>
#include <Ppi/VtdInfo.h>
#include "IntelVTdPmrPei.h"

View File

@ -14,7 +14,7 @@
#include <PiPei.h>
#include <Ppi/VTdInfo.h>
#include <Ppi/VtdInfo.h>
#include <Library/PeiServicesLib.h>
#include <Library/DebugLib.h>