dcDivertXInput = (void (*) __P((int)) )0; dcMouseEvent = (void (*) __P((int)) )0; dcMouseButtons = (void (*) __P((int)) )0;
dzDivertXInput = (void (*) __P((int)) )0; dzMouseEvent = (void (*) __P((int)) )0; dzMouseButtons = (void (*) __P((int)) )0;
genDeconfigMouse(){	int s;	s = spltty();	switch (pmax_boardtype) {#if NDZ_IOASIC > 0	case DS_3MAX:		dcDivertXInput = (void (*) __P((int)) )0;		dcMouseEvent = (void (*) __P((int)) )0;		dcMouseButtons = (void (*) __P((int)) )0;		break;#endif  /* NDZ_IOASIC */#if NDZ_DS > 0	case DS_PMAX:		dcDivertXInput = (void (*) __P((int)) )0;		dcMouseEvent = (void (*) __P((int)) )0;		dcMouseButtons =  (void (*) __P((int)) )0;		break;#endif /* NDZ_DS */#if NSCC > 0	case DS_3MIN:	case DS_3MAXPLUS:		sccDivertXInput = (void (*) __P((int)))0;		sccMouseEvent = (void (*) __P((int)))0;		sccMouseButtons = (void (*) __P((int)))0;		break;#endif#if NDTOP > 0	case DS_MAXINE:		dtopDivertXInput = (void (*) __P((int)) )0;		dtopMouseEvent = (void (*) __P((MouseReport *)) )0;		dtopMouseButtons = (void (*) __P((MouseReport *)) )0;		break;#endif	default:		printf("Can't deconfigure mouse/keyboard\n");	};}