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