433d6423c3
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9
45 lines
1.4 KiB
C
45 lines
1.4 KiB
C
#ifndef _SERVERS_INPUT_H
|
|
#define _SERVERS_INPUT_H
|
|
|
|
#include <minix/input.h>
|
|
|
|
/* Configuration. */
|
|
#define EVENTBUF_SIZE 32
|
|
|
|
#define KBDMUX_MINOR 0
|
|
#define KBD0_MINOR 1
|
|
#define KBD_MINORS 4
|
|
|
|
#define MOUSEMUX_MINOR 64
|
|
#define MOUSE0_MINOR 65
|
|
#define MOUSE_MINORS 4
|
|
|
|
/* Constants. */
|
|
#define KBDMUX_DEV 0
|
|
#define FIRST_KBD_DEV 1
|
|
#define LAST_KBD_DEV (FIRST_KBD_DEV + KBD_MINORS - 1)
|
|
|
|
#define MOUSEMUX_DEV (LAST_KBD_DEV + 1)
|
|
#define FIRST_MOUSE_DEV (MOUSEMUX_DEV + 1)
|
|
#define LAST_MOUSE_DEV (FIRST_MOUSE_DEV + MOUSE_MINORS - 1)
|
|
|
|
#define INPUT_DEV_MAX (1 + KBD_MINORS + 1 + MOUSE_MINORS)
|
|
|
|
/* Input device state structure. */
|
|
struct input_dev {
|
|
devminor_t minor; /* minor number of this device */
|
|
endpoint_t owner; /* owning driver endpoint, or NONE */
|
|
char label[DS_MAX_KEYLEN]; /* label of owning driver */
|
|
struct input_event eventbuf[EVENTBUF_SIZE]; /* event ring buffer */
|
|
unsigned int tail; /* tail into ring buffer */
|
|
unsigned int count; /* number of elements in ring buffer */
|
|
int opened; /* has a process opened the device? */
|
|
int suspended; /* is a process suspended on a read? */
|
|
endpoint_t caller; /* endpoint for suspended read */
|
|
cp_grant_id_t grant; /* grant for suspended read */
|
|
cdev_id_t req_id; /* request ID for suspended read */
|
|
endpoint_t selector; /* read-selecting endpoint, or NONE */
|
|
unsigned int leds; /* LED mask - saved across connects */
|
|
};
|
|
|
|
#endif /* !_SERVERS_INPUT_H */
|