Re: [PATCH v4 0/5] sched_clock: Optimize and avoid deadlock during read from NMI