/* See LICENSE file for copyright and license details. */

/* This file is included from ../libsyscalls_get_integer_alignment.c */


#if 0
static enum libsyscalls_error
get_linux_integer_alignment(enum libsyscalls_arch arch, unsigned width_in_bits, unsigned *alignmentp)
{
	/* ../libsyscalls_get_integer_alignment.c has already set `*alignmentp`
	 * according the the architectures specifications. Linux does not proscribe
	 * excess alignment and there is thus nothing for this function to do. */

	(void) arch;
	(void) width_in_bits;
	(void) alignmentp;
	return LIBSYSCALLS_E_OK;
}
#else
# define get_linux_integer_alignment(arch, width_in_bits, alignmentp) (LIBSYSCALLS_E_OK)
#endif