Re: [PATCH v3 19/26] arm64: vdso: Include common headers in the vdso library

[Catalin Marinas]

On Fri, Mar 13, 2020 at 03:43:38PM +0000, Vincenzo Frascino wrote:
> The vDSO library should only include the necessary headers required for
> a userspace library (UAPI and a minimal set of kernel headers). To make
> this possible it is necessary to isolate from the kernel headers the
> common parts that are strictly necessary to build the library.
> 
> Refactor the vdso implementation to include common headers.
> 
> Cc: Catalin Marinas <catalin.marinas@xxxxxxx>
> Cc: Will Deacon <will@xxxxxxxxxx>
> Signed-off-by: Vincenzo Frascino <vincenzo.frascino@xxxxxxx>

Acked-by: Catalin Marinas <catalin.marinas@xxxxxxx>