maestro_halt_input  488 dev/pci/maestro.c int	maestro_halt_input(void *);
maestro_halt_input  560 dev/pci/maestro.c 	maestro_halt_input,