usb: ohci-at91: use descriptor-based gpio APIs correctly
[linux/fpc-iii.git] / arch / powerpc / boot / epapr-wrapper.c
blobc10191006673aa611bc4451bcf9fc6891f5d4948
1 extern void epapr_platform_init(unsigned long r3, unsigned long r4,
2 unsigned long r5, unsigned long r6,
3 unsigned long r7);
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);