[PATCH] Support for inlined local_clock()/cpu_clock()

[David Smith]

On Sun, Jul 30, 2017 at 2:49 AM, Torsten Polle <Torsten.Polle@gmx.de> wrote:
> Hi,
>
> newer versions of the kernel inline the functions local_clock() and cpu_clock(). The checks based on the presence of these symbols in the kernel binary fail.

I combined these patch and checked them in as c8bd6bf.

Thanks!

-- 
David Smith
Principal Software Engineer
Red Hat