On 15.02.2026 19:16, Abdelkareem Abdelsaamad wrote:
> --- a/xen/arch/x86/hvm/svm/intr.c
> +++ b/xen/arch/x86/hvm/svm/intr.c
> @@ -33,6 +33,15 @@ static void svm_inject_nmi(struct vcpu *v)
> u32 general1_intercepts = vmcb_get_general1_intercepts(vmcb);
> intinfo_t event;
>
> + if ( vmcb->_vintr.fields.vnmi_enable )
> + {
> + if ( !vmcb->_vintr.fields.vnmi_pending &&
> + !vmcb->_vintr.fields.vnmi_blocking )
> + vmcb->_vintr.fields.vnmi_pending = 1;
Nit: Off-by-1 indentation, while ...
> + return;
... interestingly this one's indented correctly.
Jan
