| /linux/Documentation/virt/coco/ |
| H A D | tdx-guest.rst | 4 TDX Guest API Documentation
10 The TDX guest driver exposes IOCTL interfaces via the /dev/tdx-guest misc
11 device to allow userspace to get certain TDX guest-specific details.
33 the TDREPORT0 (a.k.a. TDREPORT subtype 0) from the TDX module using
38 the TDX Module v1.0 specification, section titled "TDG.MR.REPORT", it is not
41 ABI. However, in the future, if the TDX Module supports more than one subtype,
48 TDX reference material is collected here:
52 The driver is based on TDX module specification v1.0 and TDX GHCI specification v1.0.
|
| /linux/tools/testing/selftests/tdx/ |
| H A D | tdx_guest_test.c | 3 * Test TDX guest features
15 #include <linux/tdx-guest.h>
24 * @type: Type of the TDREPORT (0 - SGX, 81 - TDX, rest are reserved)
29 * More details can be found in TDX v1.0 module specification, sec
40 * struct reportmac - TDX guest report data, MAC and TEE hashes.
52 * be found in TDX v1.0 Module specification, sec titled "REPORTMACSTRUCT"
66 * struct td_info - TDX guest measurements and configuration.
67 * @attr: TDX Guest attributes (like debug, spet_disable, etc).
78 * It contains the measurements and initial configuration of the TDX guest
80 * that are run-time extendable. More details can be found in TDX v1.0
[all …]
|
| /linux/arch/x86/coco/tdx/ |
| H A D | tdcall.S | 8 #include "../../virt/vmx/tdx/tdxcall.S"
13 * __tdcall() - Used by TDX guests to request services from the TDX
30 * __tdcall_ret() - Used by TDX guests to request services from the TDX
48 * __tdcall_saved_ret() - Used by TDX guests to request services from the
49 * TDX module (including VMM services) using TDCALL instruction, with
|
| H A D | tdx-shared.c | 1 #include <asm/tdx.h>
18 * Pass the page physical address to the TDX module to accept the in try_accept_one()
48 * TDG_MEM_PAGE_ACCEPT TDX module call. in tdx_accept_memory()
84 * the TDX module. __tdx_hypercall_failed() never returns. in __tdx_hypercall()
|
| /linux/drivers/virt/coco/tdx-guest/ |
| H A D | Kconfig | 2 tristate "TDX Guest driver"
8 the TDX module to request the TDX guest details like attestation
12 be called tdx-guest.
|
| H A D | tdx-guest.c | 3 * TDX guest user interface driver
23 #include <uapi/linux/tdx-guest.h>
26 #include <asm/tdx.h>
77 * TDX requires @extend_buf to be 64-byte aligned. in tdx_do_extend()
169 /* TDX GetQuote status codes */
182 * More details of Quote request buffer can be found in TDX
183 * Guest-Host Communication Interface (GHCI) for Intel TDX 1.0,
246 * As per TDX GHCI v1.0 specification, sec titled "TDG.VP.VMCALL<GetQuote>",
454 MODULE_DESCRIPTION("TDX Guest Driver");
|
| H A D | Makefile | 2 obj-$(CONFIG_TDX_GUEST_DRIVER) += tdx-guest.o
|
| /linux/Documentation/ABI/testing/ |
| H A D | sysfs-devices-virtual-misc-tdx_guest | 6 Value of a TDX measurement register (MR). MRNAME and HASH above
9 list of TDX MRs exposed via sysfs. Refer to Intel TDX Module
11 list of TDX measurements.
13 Intel TDX Module ABI Specification can be found at:
|
| /linux/arch/x86/boot/compressed/ |
| H A D | mem.c | 5 #include "tdx.h"
7 #include <asm/shared/tdx.h>
13 * Enumerate TDX directly from the early users.
40 panic("TDX: Failed to accept memory\n"); in arch_accept_memory()
|
| H A D | tdx-shared.c | 2 #include "../../coco/tdx/tdx-shared.c"
|
| H A D | tdx.c | 11 #include <asm/shared/tdx.h>
16 error("TDVMCALL failed. TDX module bug?"); in __tdx_hypercall_failed()
|
| H A D | tdcall.S | 3 #include "../../coco/tdx/tdcall.S"
|
| H A D | Makefile | 103 vmlinux-objs-$(CONFIG_INTEL_TDX_GUEST) += $(obj)/tdx.o $(obj)/tdcall.o $(obj)/tdx-shared.o
|
| /linux/arch/x86/boot/ |
| H A D | io.h | 24 * TDX guests override these to use hypercalls.
35 * TDX guests override these callbacks with TDX-specific helpers.
|
| /linux/drivers/virt/coco/tdx-host/ |
| H A D | tdx-host.c | 3 * TDX host user interface driver
15 #include <asm/tdx.h>
88 * These attributes are intended for managing TDX module updates. Reading
173 * TDX module updates are not cancellable. in tdx_fw_cancel()
237 MODULE_DESCRIPTION("TDX Host Services");
|
| /linux/arch/x86/virt/vmx/tdx/ |
| H A D | tdxcall.S | 5 #include <asm/tdx.h>
17 * TDCALL - used by TDX guests to make requests to the
18 * TDX module and hypercalls to the VMM.
19 * SEAMCALL - used by TDX hosts to make requests to the
20 * TDX module.
201 * the trap number. Convert the trap number to the TDX error
|
| H A D | seamcall.S | 9 * (the P-SEAMLDR or the TDX module).
27 * (the P-SEAMLDR or the TDX module), with saving output registers to
49 * (the P-SEAMLDR or the TDX module), with saving output registers to the
|
| /linux/arch/x86/include/asm/ |
| H A D | unaccepted_memory.h | 5 #include <asm/tdx.h>
13 panic("TDX: Failed to accept memory\n"); in arch_accept_memory()
|
| /linux/Documentation/virt/hyperv/ |
| H A D | coco.rst | 10 objectives described in Documentation/security/snp-tdx-threat-model.rst. Note
29 * Intel processor with TDX
88 * With Intel TDX processor, in fully-enlightened mode the guest OS runs in an
93 MSR indicates if the underlying processor uses AMD SEV-SNP or Intel TDX, and
116 * CPUID flags. Both AMD SEV-SNP and Intel TDX provide a CPUID flag in the
122 abstracting the differences between SEV-SNP and TDX. But the
143 TDX implementations of these callbacks are used. In paravisor mode, a Hyper-V
240 sensitive data. The hardware (SNP or TDX) encrypts the guest memory and the
363 mechanisms (GHCB page on SNP, or tdcall on TDX). Messages can be of either
|
| /linux/arch/x86/virt/vmx/ |
| H A D | Makefile | 2 obj-$(CONFIG_INTEL_TDX_HOST) += tdx/
|
| /linux/arch/x86/coco/ |
| H A D | Makefile | 8 obj-$(CONFIG_INTEL_TDX_GUEST) += tdx/
|
| /linux/Documentation/virt/kvm/x86/ |
| H A D | index.rst | 14 intel-tdx
|
| /linux/Documentation/translations/zh_CN/security/ |
| H A D | index.rst | 19 snp-tdx-threat-model
|
| /linux/Documentation/arch/x86/ |
| H A D | index.rst | 32 tdx
|
| /linux/include/uapi/linux/ |
| H A D | tdx-guest.h | 3 * Userspace interface for TDX guest driver
|