20 #include <linux/kernel.h>
21 #include <linux/module.h>
23 #include <linux/rtc.h>
29 static u64 read_rtc(
void)
35 result = lv1_get_rtc(&rtc_val, &tb_val);
57 .read_time = ps3_get_time,
58 .set_time = ps3_set_time,
70 platform_set_drvdata(dev, rtc);
88 static int __init ps3_rtc_init(
void)
93 static void __exit ps3_rtc_fini(
void)