* Timer control.
*/
typedef struct {
- void (*config)(void);
- uint64_t (*set) (uint64_t, uint64_t);
+ void (*rtc_config)(void);
+ uint64_t (*rtc_set) (uint64_t, uint64_t);
} rtc_timer_t;
extern rtc_timer_t *rtc_timer;
extern void rtc_timer_init(void);
+extern void rtclock_early_init(void);
+extern void rtc_nanotime_init(uint64_t);
+extern void rtc_decrementer_configure(void);
#endif /* _I386_RTCLOCK_PROTOS_H_ */