OvmfPkg: Disable 8254/8259 timer in Td guest

TODO: Add more description
mxu9 · Mar 24, 2021 · 10b16da · 10b16da
1 parent 4b00dcd
commit 10b16da
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 0 deletions.
diff --git a/OvmfPkg/8254TimerDxe/8254Timer.inf b/OvmfPkg/8254TimerDxe/8254Timer.inf
@@ -26,6 +26,7 @@
   DebugLib
   UefiDriverEntryPoint
   IoLib
+  TdxProbeLib
 
 [Sources]
   Timer.h

diff --git a/OvmfPkg/8254TimerDxe/Timer.c b/OvmfPkg/8254TimerDxe/Timer.c
@@ -7,6 +7,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 **/
 
 #include "Timer.h"
+#include <Library/TdxProbeLib.h>
 
 //
 // The handle onto which the Timer Architectural Protocol will be installed
@@ -340,6 +341,10 @@ TimerDriverInitialize (
   EFI_STATUS  Status;
   UINT32      TimerVector;
 
+  if(ProbeTdGuest()) {
+    return EFI_UNSUPPORTED;
+  }
+
   //
   // Initialize the pointer to our notify function.
   //

diff --git a/OvmfPkg/8259InterruptControllerDxe/8259.c b/OvmfPkg/8259InterruptControllerDxe/8259.c
@@ -8,6 +8,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 
 #include "8259.h"
 
+#include <Library/TdxProbeLib.h>
 //
 // Global for the Legacy 8259 Protocol that is produced by this driver
 //
@@ -586,6 +587,9 @@ Install8259 (
   EFI_STATUS   Status;
   EFI_8259_IRQ Irq;
 
+  if(ProbeTdGuest()) {
+    return EFI_UNSUPPORTED;
+  }
   //
   // Initialze mask values from PCDs
   //

diff --git a/OvmfPkg/8259InterruptControllerDxe/8259.inf b/OvmfPkg/8259InterruptControllerDxe/8259.inf
@@ -29,6 +29,7 @@
   UefiDriverEntryPoint
   IoLib
   PcdLib
+  TdxProbeLib
 
 [Protocols]
   gEfiLegacy8259ProtocolGuid                    ## PRODUCES