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