Searched refs:tdx (Results 1 – 15 of 15) sorted by relevance
2 obj-$(CONFIG_INTEL_TDX_HOST) += tdx/
2 obj-$(CONFIG_TDX_GUEST_DRIVER) += tdx-guest.o
12 be called tdx-guest.
8 obj-$(CONFIG_INTEL_TDX_GUEST) += tdx/
14 intel-tdx
19 snp-tdx-threat-model
32 tdx
102 vmlinux-objs-$(CONFIG_INTEL_TDX_GUEST) += $(obj)/tdx.o $(obj)/tdcall.o $(obj)/tdx-shared.o
10 The TDX guest driver exposes IOCTL interfaces via the /dev/tdx-guest misc
649 unsigned int ipds, tpds, i, idx = 0, tdx = 0; in hmat_initiator_perf() local671 tdx = i; in hmat_initiator_perf()678 return hmat_normalize(entries[idx * tpds + tdx], in hmat_initiator_perf()
121 TARGETS += tdx
50 :doc:`Intel Trust Domain Extensions (TDX) </arch/x86/tdx>` and
488 } tdx; member
10 objectives described in Documentation/security/snp-tdx-threat-model.rst. Note
1164 x86/tdx arch/x86/tdx