powerpc/boot/epapr-wrapper.c

0001 // SPDX-License-Identifier: GPL-2.0
0002 extern void epapr_platform_init(unsigned long r3, unsigned long r4,
0003                 unsigned long r5, unsigned long r6,
0004                 unsigned long r7);
0005
0006 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
0007            unsigned long r6, unsigned long r7)
0008 {
0009     epapr_platform_init(r3, r4, r5, r6, r7);
0010 }