Did you mean (for linux-3.3):pmu_set_rtc_time
Your search defs:ps3_set_rtc_time did not match any files. Suggestions: