| 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 | } |
| 11 |