irqchip tps65217 is not pipeline-safe!

Philippe Gerum rpm at
Fri Mar 29 11:37:47 CET 2019

On 3/28/19 8:51 PM, Giulio Moro via Xenomai wrote:
> Hi there,
> booting a 4.14.94-ti kernel with Cobalt 3.0.8 from the "stable/v3.0.x" branch, on an am3358 (PocketBeagle) I get a warning during boot "irqchip tps65217 is not pipeline-safe!". The tps65217 is the power-management IC for the board. What does this message mean exactly? Is it something to be concerned about? The board has behaved fine when running Xenomai tasks, in spite of this issue.

Nevertheless, this is unreliable. This warning is issued because the
irqchip code handling the tps65217 mfd which is enabled on your platform
was not tagged as supporting IRQ pipelining (IRQCHIP_PIPELINE_SAFE not
present in the flags). At the very least, this means that nobody cared
checking for this.

This matter is documented in Documentation/ipipe.rst.


More information about the Xenomai mailing list