Re: [PATCH v3 5/5] arm64: vdso32: Remove jump label config option in Makefile

From: Catalin Marinas
Date: Fri Sep 27 2019 - 05:27:34 EST


On Thu, Sep 26, 2019 at 10:43:42PM +0100, Vincenzo Frascino wrote:
> The jump labels are not used in vdso32 since it is not possible to run
> runtime patching on them.
>
> Remove the configuration option from the Makefile.
>
> Cc: Will Deacon <will@xxxxxxxxxx>
> Cc: Catalin Marinas <catalin.marinas@xxxxxxx>
> Signed-off-by: Vincenzo Frascino <vincenzo.frascino@xxxxxxx>

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