tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
1// SPDX-License-Identifier: GPL-2.0
2extern void epapr_platform_init(unsigned long r3, unsigned long r4,
3 unsigned long r5, unsigned long r6,
4 unsigned long r7);
5
6void 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}