21 L4VIRTIO_INPUT_CFG_UNSET = 0,
22 L4VIRTIO_INPUT_CFG_ID_NAME = 1,
23 L4VIRTIO_INPUT_CFG_ID_SERIAL = 2,
24 L4VIRTIO_INPUT_CFG_ID_DEVIDS = 3,
25 L4VIRTIO_INPUT_CFG_PROP_BITS = 0x10,
26 L4VIRTIO_INPUT_CFG_EV_BITS = 0x11,
27 L4VIRTIO_INPUT_CFG_ABS_INFO = 0x12