2 * Intel general target stuff that's common to all i386 details
4 * Copyright (c) 2022 M. Warner Losh <imp@bsdimp.com>
6 * SPDX-License-Identifier: GPL-2.0-or-later
13 * arm EABI 'lumps' the registers for 64-bit args.
15 static inline bool regpairs_aligned(void *cpu_env
)