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