/* 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);