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 |