Lines Matching refs:guest
85 * It is used in the TDX guest driver module to get the TDREPORT0.
120 * It is used in the TDX guest driver module to get the TD Quote.
159 * to keep the guest running. Call it forever if it
182 * The highest bit of a guest physical address is the "sharing" bit.
214 * - As a result of guest TD execution of a disallowed instruction,
217 * - A notification to the guest TD about anomalous behavior;
267 * enabled status (RFLAGS.IF) of the TD guest and to determine
271 * pending, without hanging/breaking the guest.
704 * TDX guest is responsible for flushing TLB on private->shared
708 * with the guest's HKID. Shared memory isn't subject to integrity
714 * malicious guest.
760 * The guest must retry the operation for the pages in the
782 * Inform the VMM of the guest's intent for this physical page: shared with
783 * the VMM or private to the guest. The VMM is expected to change its mapping
841 /* TSC is the only reliable clock in TDX guest */
868 * guest.enc_status_change_prepare() converts the page from
871 * guest.enc_status_change_finish() converts the page from
878 x86_platform.guest.enc_status_change_prepare = tdx_enc_status_change_prepare;
879 x86_platform.guest.enc_status_change_finish = tdx_enc_status_change_finish;
881 x86_platform.guest.enc_cache_flush_required = tdx_cache_flush_required;
882 x86_platform.guest.enc_tlb_flush_required = tdx_tlb_flush_required;