ps3_get_boot_time   48 arch/powerpc/platforms/ps3/platform.h time64_t __init ps3_get_boot_time(void);
ps3_get_boot_time  265 arch/powerpc/platforms/ps3/setup.c 	.get_boot_time			= ps3_get_boot_time,