Re: [PATCH v3 1/9] x86/entry/vdso: rename vdso_image_* to vdso*_image

[Andrew Cooper]

On 12/11/2025 8:22 pm, H. Peter Anvin wrote:
> The .so files for the vdso are named vdso*.so, and these structures
> are image of the corresponding vdso.

I'm afraid I can't parse this, and it's not obvious what you're trying
to say.

>  Naming them accordingly is more
> consistent, very slightly more compact (by one character...) and
> simplifies the Makefile just a little bit.
>
> Signed-off-by: H. Peter Anvin (Intel) <hpa@xxxxxxxxx>

The change itself looks fine.

~Andrew