Re: [RFD] Remove irq_timings

[Thomas Gleixner]

On Thu, Mar 07 2024 at 12:54, Ulf Hansson wrote:
> On Thu, 15 Feb 2024 at 15:46, Thomas Gleixner <tglx@xxxxxxxxxxxxx> wrote:
>> No. I just stumbled over it (again) and wondered whether it is ever
>> going to be used or not. If not there is no point to carry dead weight
>> around, but there is no hurry.
>
> Maybe a small chat about it at the next LPC? Then we can see if I have
> been able to play more with it.

Works for me.

Thanks,

      tglx