Re: [PATCH 1/2] clocksource: arm_arch_timer: add arch_timer_okay_for_vdso

2015-04-28 Thread Nathan Lynch
On 04/27/2015 05:55 AM, Will Deacon wrote: > On Fri, Apr 24, 2015 at 10:43:20PM +0100, Nathan Lynch wrote: >> The 32-bit ARM VDSO needs to know whether a generic timer is present >> and whether it is suitable for use by user space. The VDSO >> initialization code currently duplicates some of the l

Re: [PATCH 1/2] clocksource: arm_arch_timer: add arch_timer_okay_for_vdso

2015-04-27 Thread Will Deacon
On Fri, Apr 24, 2015 at 10:43:20PM +0100, Nathan Lynch wrote: > The 32-bit ARM VDSO needs to know whether a generic timer is present > and whether it is suitable for use by user space. The VDSO > initialization code currently duplicates some of the logic from the > driver to make this determinatio