B | |
| bus [Usb_fun] |
Record that rapresents a
Usb.usb_bus: dirname: as returned by Usb.usb_bus_dirname, devices: list of values of type Usb_fun.device corresponding to the Usb.usb_device list (a C-style list implemented by a record with "prev" and "next" fields) as returned by Usb.usb_bus_devices
|
D | |
| device [Usb_fun] |
Record that rapresents a
Usb.usb_device: filename: as returned by Usb.usb_device_filename, bus: a function that returns a record of type Usb_fun.bus, corresponding to the opaque Usb.usb_bus,
as returned by Usb.usb_device_bus, descriptor: as returned by Usb.usb_device_descriptor, ep: array of the endpoints of the device, usb_device: the opaque Usb.usb_device which the record corresponds to
|
E | |
| endpoint [Usb_fun] | |
R | |
| read_endpoint [Usb_fun] | |
S | |
| size_t [Usb] | |
U | |
| usb_bus [Usb] | |
| usb_config_descriptor [Usb] | |
| usb_dev_handle [Usb] | |
| usb_device [Usb] | |
| usb_device_descriptor [Usb] | |
| usb_endpoint_descriptor [Usb] | |
| usb_interface [Usb] | |
| usb_interface_descriptor [Usb] | |
W | |
| write_endpoint [Usb_fun] |