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