[PATCH v3 23/24] clock: gic-timer: Add support for vdso_direct
From: Vincenzo Frascino <vincenzo.frascino@arm.com>
Date: 2018-12-13 17:04:24
Also in:
linux-arch
Subsystem:
clocksource, clockevent drivers, mips core drivers, the rest · Maintainers:
Daniel Lezcano, Thomas Gleixner, Thomas Bogendoerfer, Linus Torvalds