root/arch/powerpc/boot/epapr-wrapper.c

DEFINITIONS

1. platform_init

   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 }