12:28 <NovumDXW> #part #armlinux

23:15 <marex> maz: hey, going back to the xilinx xiic/xps i2c and interrupt controller awfulness ... I noticed that kernel/irq/manage.c irq_wait_for_interrupt() schedule() call only returns after over a second, that doesn't look right

23:17 <marex> is there some trick which would allow me to find out why, except for patching the scheduler itself and have it trace_printk() what it schedules on which CPU ?

23:17 <marex> (in fact, is adding trace_printk() into scheduler even a good idea?)