On 02/04/2025 10:56 am, Andrew Cooper wrote:
> diff --git a/xen/arch/x86/hvm/vmx/vmcs.c b/xen/arch/x86/hvm/vmx/vmcs.c
> index 0ba65becec1e..8e99e6f73062 100644
> --- a/xen/arch/x86/hvm/vmx/vmcs.c
> +++ b/xen/arch/x86/hvm/vmx/vmcs.c
> @@ -785,6 +770,23 @@ static int _vmx_cpu_up(bool bsp)
> vmx_pi_per_cpu_init(cpu);
>
> return 0;
> +
> + vmxon_fault:
> + if ( bios_locked &&
> + test_bit(X86_FEATURE_SMX, &boot_cpu_data.x86_capability) &&
> + (!(eax & IA32_FEATURE_CONTROL_ENABLE_VMXON_OUTSIDE_SMX) ||
> + !(eax & IA32_FEATURE_CONTROL_ENABLE_VMXON_INSIDE_SMX)) )
> + {
> + printk("CPU%d: VMXON failed: perhaps because of TXT settings "
> + "in your BIOS configuration?\n", cpu);
> + printk(" --> Disable TXT in your BIOS unless using a secure "
> + "bootloader.\n");
Oh, I should remove the line splits, and put in some XENLOG_*.
~Andrew
