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