__system_reset_kernel  104 arch/powerpc/boot/ps3.c 	extern char __system_reset_kernel[];
__system_reset_kernel  106 arch/powerpc/boot/ps3.c 	memcpy((void *)0x100, __system_reset_kernel, 512);