> Should it go in sysdeps/generic/sysdep.h? That's included by sysdep.h > files? Or shall I create a new specific file and include it in > x86_64/sysdeps.h? It shouldn't go in a CPU-specific file if it's not really CPU-specific. generic/sysdep.h seems fine to me.