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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.