Re: [PATCH Dovetail] arm: irq_pipeline: Fix IRQ state checking in do_page_fault()

[Philippe Gerum <rpm@xenomai.org>]

Florian Bezdeka <florian.bezdeka@siemens.com> writes:

> When correcting some fault handlers in the patch series referenced below
> one call site was missed. That is corrected now.
>
> do_page_fault() migrates to the inband stage and enabled the inband IRQs
> depending on the hardware state. Instead, we have to check if the inband
> stage was stalled on kernel entry.
>
> Link: https://lore.kernel.org/xenomai/20260610-wip-flo-v7-1-arm-pipelining-fixes-v2-6-62c9c477f8f2@siemens.com/
> Signed-off-by: Florian Bezdeka <florian.bezdeka@siemens.com>
> ---
> Found while scanning the code for necessary 7.3-rc adjustments.
>
> To: xenomai@lists.linux.dev
> Cc: Philippe Gerum <rpm@xenomai.org>
> Cc: Jan Kiszka <jan.kiszka@siemens.com>
> ---
>  arch/arm/mm/fault.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/arch/arm/mm/fault.c b/arch/arm/mm/fault.c
> index 8f7feb1a228fc12c2d14389f865b13e23d11460d..91d0afe7985d55b424009cc29d8f3343cfca90fd 100644
> --- a/arch/arm/mm/fault.c
> +++ b/arch/arm/mm/fault.c
> @@ -376,7 +376,7 @@ do_page_fault(unsigned long addr, unsigned int fsr, struct pt_regs *regs)
>  	irqflags = dovetail_fault_entry(ARM_TRAP_ACCESS, regs);
>  
>  	/* Enable interrupts if they were enabled in the parent context. */
> -	if (interrupts_enabled(regs))
> +	if (!arch_kentry_test_stalled(regs))
>  		local_irq_enable();
>  
>  	/*
>
> ---
> base-commit: 58e8e0f74c2b20f6228b7d327ec2e955ffd5b491
> change-id: 20260929-wip-flo-7-2-arm-pipeline-fix-939fc6370fb2
>
> Best regards,

This patch [1] uncovered an issue with the series introducing
dovetail_fault_entry() and friends. Fixed by that patch [2] living in
next/evl-6.12.y-cip-evl for now, on top of a backport of the series
mentioned above. Tests look ok so far, I'll update all the affected
branches next.

[1] https://lore.kernel.org/xenomai/20260929-wip-flo-7-2-arm-pipeline-fix-v1-1-300c70cfae7f@siemens.com/T/#u
[2] https://gitlab.com/Xenomai/xenomai4/linux-evl/-/commit/020af735209333b180993f03534baf078fcddfb9

-- 
Philippe.