1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 struct rtc_time; 4 5 /* ataints.c */ 6 void atari_init_IRQ(void); 7 8 /* atasound.c */ 9 void atari_microwire_cmd(int cmd); 10 void atari_mksound(unsigned int hz, unsigned int ticks); 11 12 /* time.c */ 13 void atari_sched_init(void); 14 int atari_mste_hwclk(int op, struct rtc_time *t); 15 int atari_tt_hwclk(int op, struct rtc_time *t); 16