18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ciextern void epapr_platform_init(unsigned long r3, unsigned long r4, 38c2ecf20Sopenharmony_ci unsigned long r5, unsigned long r6, 48c2ecf20Sopenharmony_ci unsigned long r7); 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_civoid platform_init(unsigned long r3, unsigned long r4, unsigned long r5, 78c2ecf20Sopenharmony_ci unsigned long r6, unsigned long r7) 88c2ecf20Sopenharmony_ci{ 98c2ecf20Sopenharmony_ci epapr_platform_init(r3, r4, r5, r6, r7); 108c2ecf20Sopenharmony_ci} 11