Le 23/09/2024 à 16:19, Vincenzo Frascino a écrit :
The VDSO implementation includes headers from outside of the vdso/ namespace. Introduce vdso/page.h to make sure that the generic library uses only the allowed namespace.
This patch looks good to me, maybe it is worth some more description, for instance to explain why PAGE_MASK has two different definitions.
Christophe
