/* SPDX-License-Identifier: GPL-2.0-only */ | |
struct rtc_time; | |
/* ataints.c */ | |
void atari_init_IRQ(void); | |
/* atasound.c */ | |
void atari_microwire_cmd(int cmd); | |
void atari_mksound(unsigned int hz, unsigned int ticks); | |
/* time.c */ | |
void atari_sched_init(void); | |
int atari_mste_hwclk(int op, struct rtc_time *t); | |
int atari_tt_hwclk(int op, struct rtc_time *t); |