On Wed, Apr 19, 2023 at 09:50:23AM +0200, Vlastimil Babka wrote: > Yes, the problem seems to be that if there's different paths tor RT and !RT > kernels, PROVE_RAW_LOCK_NESTING doesn't know that and will trigger on the > !RT path in the !RT kernel. There's was an annotation proposed for these > cases in the thread linked below, but AFAIK it's not yet finished. > > https://lore.kernel.org/all/20230412124735.GE628377@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx/ Oh, thanks for the reminder, I'd completely forgotten about it. I just replied with a new version... fingers crossed ;-)
