/*
 * Copyright (c) 2015-2018 The strace developers.
 * All rights reserved.
 *
 * SPDX-License-Identifier: LGPL-2.1-or-later
 */

kernel_ulong_t
shuffle_scno(kernel_ulong_t scno)
{
	if (current_personality == 2)
		scno ^= __X32_SYSCALL_BIT;

	return scno;
}
