[PATCH 0/3] SGI RTC: add clocksource/clockevent driver and timer bios calls

Printable View