coco/tdx/tdx.c

26 /* See Exit Qualification for I/O Instructions in VMX documentation */
83  * Refer to section titled "TDG.MR.REPORT leaf" in the TDX Module
85  * It is used in the TDX guest driver module to get the TDREPORT0.
118  * Refer to section titled "TDG.VP.VMCALL<GetQuote>" in the TDX GHCI
120  * It is used in the TDX guest driver module to get the TD Quote.
145 	/* VMM assumes '\0' in byte 65, if the message took all 64 bytes */
175 	 * information, etc. More details about the ABI can be found in TDX
219  * The last one is opt-in and is not used by the kernel.
222  * length field can be used in section "Information for VM Exits Due to
263 	 * can be found in TDX Guest-Host-Communication Interface
270 	 * can keep the vCPU in virtual HLT, even if an IRQ is
307 	 * can be found in TDX Guest-Host-Communication Interface
329 	 * can be found in TDX Guest-Host-Communication Interface
361 	 * ABI can be found in TDX Guest-Host-Communication Interface
413 	/* Only in-kernel MMIO is supported */
523 	 * in TDX Guest-Host-Communication Interface (GHCI) section titled
542 	 * in TDX Guest-Host-Communication Interface (GHCI) section titled
561 	bool in, ret;
566 	in   = VE_IS_IO_IN(exit_qual);
571 	if (in)
611 	 * This has to be called early in #VE handling.  A "nested" #VE which
620 	 * valid flag is set. It means that NMI=>#VE will not result in a #DF.
712 	 * as flushing is the VMM's responsibility in this case, e.g. it must
713 	 * flush to avoid integrity failures in the face of a buggy or
732  * can be found in TDX Guest-Host-Communication Interface (GHCI),
737 	/* Retrying the hypercall a second time should succeed; use 3 just in case */
760 		 * The guest must retry the operation for the pages in the
761 		 * region starting at the GPA specified in R11. R11 comes
784  * of the page in response.
806 	 * See the comment in tdx_early_init().
818 	 * See the comment in tdx_early_init().
841 	/* TSC is the only reliable clock in TDX guest */
875 	 * which can result in a #VE.  But, there is never a private mapping to
885 	 * TDX intercepts the RDMSR to read the X2APIC ID in the parallel
890 	 * implemented separately in the low level startup ASM code.
891 	 * Until that is in place, disable parallel bringup for TDX.