32 L4VIRTIO_INPUT_CFG_UNSET = 0,
33 L4VIRTIO_INPUT_CFG_ID_NAME = 1,
34 L4VIRTIO_INPUT_CFG_ID_SERIAL = 2,
35 L4VIRTIO_INPUT_CFG_ID_DEVIDS = 3,
36 L4VIRTIO_INPUT_CFG_PROP_BITS = 0x10,
37 L4VIRTIO_INPUT_CFG_EV_BITS = 0x11,
38 L4VIRTIO_INPUT_CFG_ABS_INFO = 0x12