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