GNU Linux-libre 4.14.266-gnu1
[releases.git] / arch / powerpc / boot / epapr-wrapper.c
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 }