| rjw | 1f88458 | 2022-01-06 17:20:42 +0800 | [diff] [blame^] | 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 | } | ||||