![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Device ID information for the device. More...
#include <virtio_input.h>
Collaboration diagram for l4virtio_input_devids_t:Device ID information for the device.
Definition at line 45 of file virtio_input.h.