/* SPDX-License-Identifier: GPL-2.0-only */

/* q40ints.c */
void q40_init_IRQ(void);
void q40_mksound(unsigned int hz, unsigned int ticks);
void q40_sched_init(void);