[PATCH v2 0/6] arm/arm64: Allow the rescheduling IPI to bypass irq_enter/exit

[Yuichi Ito]

Hi Marc, Mark

> Mark is working on this, I believe. I'll let him comment on the current 
> state of things.

I understand.
Mark, Could you tell me current state?

Thanks,

Yuichi Ito