epapr-wrapper.c 328 B

12345678910
  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. 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. }