18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0
28c2ecf20Sopenharmony_ci *
38c2ecf20Sopenharmony_ci * Copyright (C) 2000, 2001  Paolo Alberelli
48c2ecf20Sopenharmony_ci * Copyright (C) 2003  Paul Mundt
58c2ecf20Sopenharmony_ci * Copyright (C) 2004  Richard Curnow
68c2ecf20Sopenharmony_ci */
78c2ecf20Sopenharmony_ci#include <asm/switch_to_32.h>
8