sys/arch/pmax/dev/dtopvar.h


1
2
3
4
5
6
7
8

int	dtopKBDGetc __P((dev_t dev));
void	dtopKBDPutc __P((dev_t dev, int c));

/*
 * Device numbers.
 */
#define	DTOPKBD_PORT	0
#define	DTOPMOUSE_PORT	1