linux/arch/powerpc/boot/+code=__system_reset_kernel
<<
>>
Prefs
Node not found: arch/powerpc/boot/+code=__system_reset_kernel (v3.12)