@@ -4,6 +4,7 @@
#include "processor.h"
#include "msr.h"
#include <stdlib.h>
+#include "tdx.h"
/**
* This test allows two modes:
@@ -89,6 +90,11 @@ static void test_rdmsr_fault(struct msr_info *msr)
static void test_msr(struct msr_info *msr, bool is_64bit_host)
{
+ /* Changing MSR_IA32_MISC_ENABLE and MSR_CSTAR is unsupported in TDX */
+ if ((msr->index == MSR_IA32_MISC_ENABLE || msr->index == MSR_CSTAR) &&
+ is_tdx_guest())
+ return;
+
if (is_64bit_host || !msr->is_64bit_only) {
test_msr_rw(msr, msr->value);
@@ -5,6 +5,7 @@
#include "msr.h"
#include "desc.h"
#include "fwcfg.h"
+#include "tdx.h"
static void test_syscall_lazy_load(void)
{
@@ -106,7 +107,7 @@ int main(int ac, char **av)
{
test_syscall_lazy_load();
- if (!no_test_device || !is_intel())
+ if ((!no_test_device || !is_intel()) && !is_tdx_guest())
test_syscall_tf();
else
report_skip("syscall TF handling");