1 extern void epapr_platform_init(unsigned long r3
, unsigned long r4
,
2 unsigned long r5
, unsigned long r6
,
5 void platform_init(unsigned long r3
, unsigned long r4
, unsigned long r5
,
6 unsigned long r6
, unsigned long r7
)
8 epapr_platform_init(r3
, r4
, r5
, r6
, r7
);