Symbol: X86_BUG_SEAMRET_INVD_VMCS
arch/x86/virt/vmx/tdx/seamldr.c
71
if (boot_cpu_has_bug(X86_BUG_SEAMRET_INVD_VMCS)) {
arch/x86/virt/vmx/tdx/tdx.c
1526
setup_force_cpu_bug(X86_BUG_SEAMRET_INVD_VMCS);
drivers/virt/coco/tdx-host/tdx-host.c
115
if (boot_cpu_has_bug(X86_BUG_SEAMRET_INVD_VMCS))