Symbol: ps3_exit
arch/powerpc/boot/ps3.c
111
platform_ops.exit = ps3_exit;
arch/powerpc/boot/ps3.c
138
ps3_exit();