1 /* SPDX-License-Identifier: GPL-2.0 2 * 3 * Copyright (C) 2000, 2001 Paolo Alberelli 4 * Copyright (C) 2003 Paul Mundt 5 * Copyright (C) 2004 Richard Curnow 6 */ 7 #include <asm/switch_to_32.h> 8