Re: [PATCH 1/7] ARM: vdso: Remove dependency with the arch_timer driver internals

2019-04-30 Thread Will Deacon
Hi Marc, On Mon, Apr 08, 2019 at 04:49:01PM +0100, Marc Zyngier wrote: > THe VDSO code uses the kernel helper that was originally designed > to abstract the access between 32 and 64bit systems. It worked so > far because this function is declared as 'inline'. > > As we're about to revamp that

Re: [PATCH 1/7] ARM: vdso: Remove dependency with the arch_timer driver internals

2019-04-15 Thread Marc Zyngier
On 08/04/2019 16:49, Marc Zyngier wrote: > THe VDSO code uses the kernel helper that was originally designed > to abstract the access between 32 and 64bit systems. It worked so > far because this function is declared as 'inline'. > > As we're about to revamp that part of the code, the VDSO would

Re: [PATCH 1/7] ARM: vdso: Remove dependency with the arch_timer driver internals

2019-04-08 Thread Mark Rutland
On Mon, Apr 08, 2019 at 04:49:01PM +0100, Marc Zyngier wrote: > THe VDSO code uses the kernel helper that was originally designed Nit: s/THe/The/ > to abstract the access between 32 and 64bit systems. It worked so > far because this function is declared as 'inline'. > > As we're about to revamp

[PATCH 1/7] ARM: vdso: Remove dependency with the arch_timer driver internals

2019-04-08 Thread Marc Zyngier
THe VDSO code uses the kernel helper that was originally designed to abstract the access between 32 and 64bit systems. It worked so far because this function is declared as 'inline'. As we're about to revamp that part of the code, the VDSO would break. Let's fix it by doing what should have been