| /barrelfish-2018-10-04/usr/drivers/usb/usb_manager/include/ |
| H A D | usb_interface.h | 36 struct usb_device *device; member in struct:usb_interface
|
| /barrelfish-2018-10-04/include/pci/confspace/ |
| H A D | pci_confspace.h | 37 uint8_t device; member in struct:pci_address
|
| /barrelfish-2018-10-04/usr/arrakismon/ |
| H A D | pci.c | 51 int device = pci->address.d.dev_nr; local
91 int device = pci->address.d.dev_nr; local
141 pci_attach_device(struct pci *pci, uint8_t busnr, uint8_t devnr, struct pci_device *device) argument
[all...] |
| H A D | pci.h | 49 struct pci_device *device[32]; member in struct:pci_bus
|
| /barrelfish-2018-10-04/usr/drivers/usb/usb_manager/ |
| H A D | usb_endpoint.c | 35 struct usb_endpoint *usb_endpoint_lookup(struct usb_device *device, argument
118 usb_endpoint_init(struct usb_device *device, uint8_t iface_index, struct usb_endpoint_descriptor *desc, struct usb_endpoint *ep) argument
[all...] |
| /barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
| H A D | cache.c | 62 static inline int start_port(struct ib_device *device) { argument
66 static inline int end_port(struct ib_device *device) { argument
210 ib_cache_update(struct ib_device *device, u8 port) argument
313 ib_cache_setup_one(struct ib_device *device) argument
[all...] |
| H A D | device.c | 160 start_port(struct ib_device *device) argument
164 end_port(struct ib_device *device) argument
581 ib_query_port(struct ib_device *device, u8 port_num, struct ib_port_attr *port_attr) argument
600 ib_query_gid(struct ib_device *device, u8 port_num, int index, union ib_gid *gid) argument
616 ib_query_pkey(struct ib_device *device, u8 port_num, u16 index, u16 *pkey) argument
[all...] |
| H A D | smi.h | 65 smi_check_local_smp(struct ib_smp *smp, struct ib_device *device) argument
80 smi_check_local_returning_smp(struct ib_smp *smp, struct ib_device *device) argument
|
| H A D | agent.c | 63 __ib_get_agent_port(struct ib_device *device, int port_num) { argument
76 ib_get_agent_port(struct ib_device *device, int port_num) { argument
86 agent_send_response(struct ib_mad *mad, struct ib_grh *grh, struct ib_wc *wc, struct ib_device *device, int port_num, int qpn) argument
145 ib_agent_port_open(struct ib_device *device, int port_num) argument
[all...] |
| /barrelfish-2018-10-04/usr/vmkitmon/ |
| H A D | pci.c | 51 int device = pci->address.d.dev_nr; local
94 int device = pci->address.d.dev_nr; local
144 pci_attach_device(struct pci *pci, uint8_t busnr, uint8_t devnr, struct pci_device *device) argument
[all...] |
| /barrelfish-2018-10-04/tools/usbboot/ |
| H A D | usb-linux.c | 30 int linux_usb_open(unsigned vendor, unsigned device, void **result) argument
|
| /barrelfish-2018-10-04/include/pci/ |
| H A D | pci_types.h | 27 uint32_t device; member in struct:pci_addr
32 uint32_t device; member in struct:pci_id
|
| /barrelfish-2018-10-04/usr/drivers/usb/usb_manager/controller/ehci/ |
| H A D | usb_ehci_bus.c | 177 void usb_ehci_device_resume(struct usb_device *device) argument
214 usb_ehci_device_suspend(struct usb_device *device) argument
255 usb_ehci_endpoint_init(struct usb_device *device, struct usb_endpoint_descriptor *ep_desc, struct usb_endpoint *ep) argument
[all...] |
| H A D | usb_ehci_root_hub.c | 159 usb_error_t usb_ehci_roothub_exec(struct usb_device *device, argument
|
| /barrelfish-2018-10-04/usr/drivers/usb/usb_manager/controller/ohci/ |
| H A D | usb_ohci_bus.c | 79 static void usb_ohci_ep_init(struct usb_device *device, argument
122 usb_ohci_device_resume(struct usb_device *device) argument
160 usb_ohci_device_suspend(struct usb_device *device) argument
[all...] |
| H A D | usb_ohci_root_hub.c | 152 usb_error_t usb_ohci_roothub_exec(struct usb_device *device, argument
|
| /barrelfish-2018-10-04/doc/019-device-drivers/ |
| H A D | DeviceDriver.tex | [all...] |
| /barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/linux/ |
| H A D | pci.h | 60 uint32_t device; member in struct:pci_device_id
151 uint16_t device; member in struct:pci_dev
[all...] |
| H A D | interrupt.h | 138 free_irq(unsigned int irq, void *device) argument
|
| /barrelfish-2018-10-04/lib/dma/ |
| H A D | dma_mgr_client.c | 291 errval_t dma_manager_wait_for_driver(dma_dev_type_t device, argument
|
| /barrelfish-2018-10-04/lib/dma/include/ |
| H A D | dma_channel_internal.h | 47 struct dma_device *device; ///< DMA device this channel belongs to member in struct:dma_channel
|
| /barrelfish-2018-10-04/usr/acpi/ |
| H A D | pcilnk_controller_client.c | 37 static int get_device_irq(const char* device){ argument
75 static void debug_device_irq(const char* device) { argument
102 errval_t set_device_irq(const char* device, uint32_t irq) { argument
|
| /barrelfish-2018-10-04/usr/drivers/ahcid/ |
| H A D | ahcid.c | 27 uint16_t device; member in struct:device_id
|
| /barrelfish-2018-10-04/doc/002-mackerel/ |
| H A D | Mackerel.tex | [all...] |
| /barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/ |
| H A D | test_ib.c | 9 void test_ib(struct ib_device *device) { argument
|