1 extern void epapr_platform_init(unsigned long r3, unsigned long r4,
2 				unsigned long r5, unsigned long r6,
3 				unsigned long r7);
4 
platform_init(unsigned long r3,unsigned long r4,unsigned long r5,unsigned long r6,unsigned long r7)5 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
6 		   unsigned long r6, unsigned long r7)
7 {
8 	epapr_platform_init(r3, r4, r5, r6, r7);
9 }
10