ps3_exit          118 arch/powerpc/boot/ps3.c 	platform_ops.exit = ps3_exit;
ps3_exit          145 arch/powerpc/boot/ps3.c 	ps3_exit();