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