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