unsigned long pmac_get_boot_time(void) 
unsigned long __init pmac_get_boot_time(void) 
unsigned long pmac_get_boot_time(void){	/* Get the time from the RTC, used only at boot time */	switch (sys_ctrler) {	case SYS_CTRLER_CUDA:		return cuda_get_time();	case SYS_CTRLER_PMU:		return pmu_get_time();	case SYS_CTRLER_SMU:		return smu_get_time();	default:		return 0;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3136254ca5dfaf53486f7032c674f9b6d7fd1d53/time.c/clean/arch/powerpc/platforms/powermac/time.c