1/* SPDX-License-Identifier: GPL-2.0-only */
2
3/* q40ints.c */
4void q40_init_IRQ(void);
5void q40_mksound(unsigned int hz, unsigned int ticks);
6void q40_sched_init(void);
7