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 <[email protected]> > Cc: Catalin Marinas <[email protected]> > Signed-off-by: Vincenzo Frascino <[email protected]>
Acked-by: Catalin Marinas <[email protected]>
