mirror of
https://gitflic.ru/project/npo_rbs/repka-os_kernel.git
synced 2025-05-03 09:00:23 +00:00
10 lines
328 B
C
10 lines
328 B
C
// SPDX-License-Identifier: GPL-2.0
|
|
extern void epapr_platform_init(unsigned long r3, unsigned long r4,
|
|
unsigned long r5, unsigned long r6,
|
|
unsigned long r7);
|
|
|
|
void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
|
|
unsigned long r6, unsigned long r7)
|
|
{
|
|
epapr_platform_init(r3, r4, r5, r6, r7);
|
|
}
|