/* Defined in getdents64.c */