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