pas_get_boot_time    5 arch/powerpc/platforms/pasemi/pasemi.h extern time64_t pas_get_boot_time(void);
pas_get_boot_time  456 arch/powerpc/platforms/pasemi/setup.c 	.get_boot_time		= pas_get_boot_time,