2018-12-28 00:31:53 -08:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0
|
|
|
|
*
|
2012-03-28 18:30:03 +01:00
|
|
|
* Copyright (C) 2000, 2001 Paolo Alberelli
|
|
|
|
* Copyright (C) 2003 Paul Mundt
|
|
|
|
* Copyright (C) 2004 Richard Curnow
|
|
|
|
*/
|
2020-04-20 11:37:12 +02:00
|
|
|
#include <asm/switch_to_32.h>
|