1 /* SPDX-License-Identifier: GPL-2.0-only */
6 void atari_init_IRQ(void);
9 void atari_microwire_cmd(int cmd);
10 void atari_mksound(unsigned int hz, unsigned int ticks);
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);