-rtc_timer_t rtc_timer_tsc_deadline = {
- rtc_lapic_config_tsc_deadline_timer,
- rtc_lapic_set_tsc_deadline_timer
+rtc_timer_t rtc_timer_tsc_deadline = {
+ .rtc_config = rtc_lapic_config_tsc_deadline_timer,
+ .rtc_set = rtc_lapic_set_tsc_deadline_timer,