read_rtc 31 arch/powerpc/platforms/ps3/time.c static u64 read_rtc(void) read_rtc 17 drivers/rtc/rtc-ps3.c static u64 read_rtc(void)