1 // SPDX-License-Identifier: GPL-2.0 2 extern void epapr_platform_init(unsigned long r3, unsigned long r4, 3 unsigned long r5, unsigned long r6, 4 unsigned long r7); 5 6 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5, 7 unsigned long r6, unsigned long r7) 8 { 9 epapr_platform_init(r3, r4, r5, r6, r7); 10 } 11