On 04/12/2020 15:06, David Howells wrote: > Mickaël Salaün <mic at digikod.net> wrote: > >> +#include <stddef.h> > > Something like linux/types.h is probably a better choice. Indeed. > > David >