Searched refs:tdx (Results 1 – 12 of 12) sorted by relevance
3 obj-y += tdx.o tdx-shared.o tdcall.o
2 obj-$(CONFIG_TDX_GUEST_DRIVER) += tdx-guest.o
10 be called tdx-guest.
8 obj-$(CONFIG_INTEL_TDX_GUEST) += tdx/
14 obj-$(CONFIG_INTEL_TDX_GUEST) += coco/tdx-guest/
55 source "drivers/virt/coco/tdx-guest/Kconfig"
17 coco/tdx-guest
30 tdx
114 vmlinux-objs-$(CONFIG_INTEL_TDX_GUEST) += $(obj)/tdx.o $(obj)/tdcall.o $(obj)/tdx-shared.o
497 unsigned int ipds, tpds, i, idx = 0, tdx = 0; in hmat_initiator_perf() local519 tdx = i; in hmat_initiator_perf()526 return hmat_normalize(entries[idx * tpds + tdx], in hmat_initiator_perf()
10 The TDX guest driver exposes IOCTL interfaces via the /dev/tdx-guest misc
87 TARGETS += tdx
