/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
H A D | device.c | 76 static int ib_device_check_mandatory(struct ib_device *device) 106 if (!*(void **) ((u_char *) device + mandatory_table[i].offset)) { 108 device->name, mandatory_table[i].name); 118 struct ib_device *device; 120 list_for_each_entry(device, &device_list, core_list) 121 if (!strncmp(name, device->name, IB_DEVICE_NAME_MAX)) 122 return device; 132 struct ib_device *device; 139 list_for_each_entry(device, &device_list, core_list) { 140 if (!sscanf(device 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 | cache.c | 58 struct ib_device *device; 62 static inline int start_port(struct ib_device *device) { argument 63 return (device->node_type == RDMA_NODE_IB_SWITCH) ? 0 : 1; 66 static inline int end_port(struct ib_device *device) { argument 67 return (device->node_type == RDMA_NODE_IB_SWITCH) ? 68 0 : device->phys_port_cnt; 71 int ib_get_cached_gid(struct ib_device *device, 80 if (port_num < start_port(device) || port_num > end_port(device)) 83 read_lock_irqsave(&device 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 | agent.h | 43 extern int ib_agent_port_open(struct ib_device *device, int port_num); 45 extern int ib_agent_port_close(struct ib_device *device, int port_num); 48 struct ib_wc *wc, struct ib_device *device,
|
H A D | agent.c | 63 __ib_get_agent_port(struct ib_device *device, int port_num) { argument 68 if (entry->agent[1]->device == device 76 ib_get_agent_port(struct ib_device *device, int port_num) { argument 81 entry = __ib_get_agent_port(device, port_num); 87 struct ib_wc *wc, struct ib_device *device, int port_num, int qpn) { 94 if (device->node_type == RDMA_NODE_IB_SWITCH) 95 port_priv = ib_get_agent_port(device, 0); 97 port_priv = ib_get_agent_port(device, port_num); 121 if (device 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...] |
H A D | smi.h | 66 struct ib_device *device) 70 return ((device->process_mad && 81 struct ib_device *device) 85 return ((device->process_mad && 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
|
/barrelfish-master/usr/drivers/usb/usb_manager/ |
H A D | usb_device.c | 33 * \param dev the usb device to free the structures 37 static void usb_device_free_config(struct usb_device *device) argument 42 if (device->ifaces != NULL) { 43 free(device->ifaces); 46 if (device->endpoints != NULL) { 47 free(device->endpoints); 51 device->ep_clear_stall = NULL; 52 device->ifaces = NULL; 53 device->iface_max = 0; 54 device 69 usb_device_parse_config(struct usb_device *device, uint8_t iface, uint8_t init) argument 271 usb_device_initialize_descriptor(struct usb_device *device) argument 320 usb_device_set_configuration(struct usb_device *device, uint8_t config) argument 413 usb_device_setup_strings(struct usb_device *device) argument 480 struct usb_device *device = malloc(sizeof(struct usb_device)); local 700 usb_device_free(struct usb_device * device, uint8_t flag) argument [all...] |
H A D | usb_endpoint.c | 22 * \brief goes through the endpoints of a device and returns the one that 25 * \param device the device we want to consider for the lookup 35 struct usb_endpoint *usb_endpoint_lookup(struct usb_device *device, argument 41 struct usb_endpoint *ep = device->endpoints; 49 for (uint8_t ep_current = 0; ep_current < device->ep_max; ep_current++) { 101 if (device->ctrl_ep.descriptor && any && !ep_index) { 103 return (&device->ctrl_ep); 113 * \param device the usb device thi 118 usb_endpoint_init(struct usb_device *device, uint8_t iface_index, struct usb_endpoint_descriptor *desc, struct usb_endpoint *ep) argument [all...] |
H A D | usb_driver.c | 30 /// the currently spawned device waiting for driver connection 36 * \param class the USB class of the device 37 * \param subclass the USB subclass of the device 38 * \param protocol the protocol ID of the device 39 * \param vendor the vendor ID of the device 40 * \param product the product ID of the device 55 USB_DEBUG_DRIVER("Device is a composite device\n"); 58 USB_DEBUG_DRIVER("Device is a audio device\n"); 61 USB_DEBUG_DRIVER("Device is a communication device\n"); 70 USB_DEBUG_DRIVER("HID device wit 149 usb_driver_lookup_iface(struct usb_device *device) argument 195 usb_driver_lookup_comm(struct usb_device *device) argument 209 usb_driver_lookup_diag(struct usb_device *device) argument 222 usb_driver_lookup_misc(struct usb_device *device) argument 235 usb_driver_lookup_vendor(struct usb_device *device) argument 335 usb_driver_insert_pending(struct usb_device *device) argument 390 usb_driver_start(struct usb_device *device) argument [all...] |
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ehci/ |
H A D | usb_ehci_bus.h | 20 void usb_ehci_endpoint_init(struct usb_device *device, 23 void usb_ehci_device_resume(struct usb_device *device); 25 void usb_ehci_device_suspend(struct usb_device *device);
|
H A D | usb_ehci_bus.c | 19 // Mackerel device 171 * \brief resumes a suspended USB device on this host controller 173 * \param device the usb devices to to resume 177 void usb_ehci_device_resume(struct usb_device *device) argument 179 assert(device->controller->hc_type == USB_EHCI); 181 struct usb_xfer_queue *queue = &device->controller->intr_queue; 185 /* just handle the xfers that are belonging to this device */ 186 if (xfer->device == device) { 187 usb_ehci_hc_t *hc = device 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...] |
/barrelfish-master/usr/drivers/e1000/ |
H A D | devif_backend_e1000.c | 28 e1000_queue_t *device = (e1000_queue_t *)q; local 32 err = driverkit_iommu_vspace_map_cl(device->iommu, cap, 39 device->region_id = rid; 40 device->region_base = mem.devaddr; 41 device->region_size = mem.size; 43 E1000_DEBUG("%s:%s: rid:%d:%lx:%lx\n", device->name, __func__, rid, device->region_base, device->region_size); 56 e1000_queue_t *device = (e1000_queue_t *)q; local 57 *result = device 61 e1000_enqueue_rx(e1000_queue_t *device, regionid_t rid, genoffset_t offset, genoffset_t length, genoffset_t valid_data, genoffset_t valid_length, uint64_t flags) argument 88 e1000_dequeue_rx(e1000_queue_t *device, regionid_t* rid, genoffset_t* offset, genoffset_t* length, genoffset_t* valid_data, genoffset_t* valid_length, uint64_t* flags) argument 118 e1000_enqueue_tx(e1000_queue_t *device, regionid_t rid, genoffset_t offset, genoffset_t length, genoffset_t valid_data, genoffset_t valid_length, uint64_t flags) argument 169 e1000_dequeue_tx(e1000_queue_t *device, regionid_t* rid, genoffset_t* offset, genoffset_t* length, genoffset_t* valid_data, genoffset_t* valid_length, uint64_t* flags) argument 204 e1000_queue_t *device = (e1000_queue_t *)q; local 236 e1000_queue_t *device = (e1000_queue_t *)q; local 272 e1000_queue_t *device = (e1000_queue_t*) arg; local 365 e1000_setup_rx(e1000_queue_t *device, dmem_daddr_t base) argument 469 e1000_setup_tx(e1000_queue_t *device, dmem_daddr_t base) argument 562 e1000_queue_t *device; local [all...] |
H A D | e1000n_hwinit.c | 44 e1000_eecd_t eecd = e1000_eecd_rd(eds->device); 48 /* If both bits are set, device is Flash type */ 63 * dev - device to read eeprom from. 78 e1000_eec_ee_req_wrf(eds->device, 1); 80 e1000_eecd_ee_req_wrf(eds->device, 1); 84 while (!e1000_eecd_ee_gnt_rdf(eds->device)) { 91 if (e1000_eecd_ee_pres_rdf(eds->device) || 107 e1000_eerd_ms_wr(eds->device, eerd_ms); 109 while (e1000_eerd_ms_done_rdf(eds->device) == 0 && 0 < timeout--) { 113 *data = e1000_eerd_ms_data_rdf(eds->device); 467 e1000_reset(struct e1000_driver_state *device) argument 567 e1000_check_link_up(e1000_t *device) argument 582 e1000_auto_negotiate_link(e1000_t *device, e1000_mac_type_t mac) argument 749 e1000_setup_rx(struct e1000_driver_state *device, struct capref rx) argument 861 e1000_setup_tx(struct e1000_driver_state *device, struct capref tx) argument 1003 e1000_setup_mac(struct e1000_driver_state *device, uint64_t *mac_addr) argument [all...] |
/barrelfish-master/lib/devif/backends/net/mlx4/include/rdma/ |
H A D | ib_cache.h | 42 * @device: The device to query. 43 * @port_num: The port number of the device to query. 50 int ib_get_cached_gid(struct ib_device *device, 58 * @device: The device to query. 60 * @port_num: The port number of the device where the GID value was found. 67 int ib_find_cached_gid(struct ib_device *device, 74 * @device: The device t [all...] |
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ohci/ |
H A D | usb_ohci_root_hub.h | 20 usb_error_t usb_ohci_roothub_exec(struct usb_device *device,
|
H A D | usb_ohci_bus.c | 75 * \param device the device the endpoint belongs to 79 static void usb_ohci_ep_init(struct usb_device *device, argument 82 if (device->flags.usb_mode != USB_MODE_HOST) { 83 /* this usb device mode is not supported */ 87 usb_ohci_hc_t *hc = (usb_ohci_hc_t *) device->controller->hc_control; 92 if (device->device_index != hc->root_hub_address) { 101 if (device->speed == USB_SPEED_FULL) { 117 * \brief this function resumes an USB device, this function takes 120 * \param device th 122 usb_ohci_device_resume(struct usb_device *device) argument 160 usb_ohci_device_suspend(struct usb_device *device) argument [all...] |
/barrelfish-master/lib/devif/backends/net/mlx4/include/ |
H A D | mlx4ib.h | 5 #include <linux/mlx4/device.h> 13 void test_ib(struct ib_device *device);
|
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/ |
H A D | dma-mapping.h | 35 #include <linux/device.h> 60 void* (*alloc_coherent)(struct device *dev, size_t size, 62 void (*free_coherent)(struct device *dev, size_t size, 64 dma_addr_t (*map_page)(struct device *dev, struct page *page, 67 void (*unmap_page)(struct device *dev, dma_addr_t dma_handle, 69 int (*map_sg)(struct device *dev, struct scatterlist *sg, 71 void (*unmap_sg)(struct device *dev, struct scatterlist *sg, int nents, 73 void (*sync_single_for_cpu)(struct device *dev, dma_addr_t dma_handle, 75 void (*sync_single_for_device)(struct device *dev, 77 void (*sync_single_range_for_cpu)(struct device *de [all...] |
/barrelfish-master/include/devif/backends/net/ |
H A D | mlx4_devif.h | 17 uint32_t bus, uint32_t device, uint32_t function, unsigned interrupt_mode,
|
/barrelfish-master/usr/drivers/usb/usb_manager/include/ |
H A D | usb_interface.h | 19 * physical endpoint on the device. 25 * - device pointer to the device 36 struct usb_device *device; member in struct:usb_interface
|
H A D | usb_endpoint.h | 17 void usb_endpoint_init(struct usb_device *device,
|
/barrelfish-master/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 51 addr.bus, addr.device, addr.function, 52 id.device, id.vendor, 64 &addr->bus, &addr->device, &addr->function, 65 &id->device, &id->vendor,
|
/barrelfish-master/usr/arrakismon/ |
H A D | pci.c | 51 int device = pci->address.d.dev_nr; local 58 struct pci_device *dev = bus->device[device]; 91 int device = pci->address.d.dev_nr; local 99 struct pci_device *dev = bus->device[device]; 142 struct pci_device *device) 150 if(bus->device[devnr] != NULL) { 154 bus->device[devnr] = device; 141 pci_attach_device(struct pci *pci, uint8_t busnr, uint8_t devnr, struct pci_device *device) argument [all...] |
/barrelfish-master/usr/vmkitmon/ |
H A D | pci.c | 52 int device = pci->address.d.dev_nr; local 59 struct pci_device *dev = bus->device[device]; 95 int device = pci->address.d.dev_nr; local 103 struct pci_device *dev = bus->device[device]; 146 struct pci_device *device) 154 if(bus->device[devnr] != NULL) { 158 bus->device[devnr] = device; 145 pci_attach_device(struct pci *pci, uint8_t busnr, uint8_t devnr, struct pci_device *device) argument [all...] |
/barrelfish-master/usr/skb/programs/ |
H A D | bridge_fake_babybel.pl | 24 % note: device with addr(-1,-1,-1) will be removed because it has no 28 convert_devices([buselement(device, Addr ,Regions)|T], L) :- 48 El = buselement(device, Addr, BAR, Base, High, Size, mem, Prefetch, pcie, Bits), 84 Devices = [buselement(device, addr(-1,-1,-1),[ 86 buselement(device, addr(16'00,16'00,16'0),[ 88 buselement(device, addr(16'00,16'01,16'0),[ 90 buselement(device, addr(16'00,16'01,16'1),[ 92 buselement(device, addr(16'00,16'02,16'0),[ 94 buselement(device, addr(16'00,16'02,16'2),[ 96 buselement(device, add [all...] |
/barrelfish-master/lib/usb/ |
H A D | usb_device.c | 2 * \brief this file contains functions to manipulate the usb device 29 usb_device_t device; variable 37 * \param dev the device for which the configuration should be freed 79 * \param dev the device to process the configuration 245 memset(&device, 0, sizeof(device)); 250 device.config_desc = config; 251 device.dev_class = ddesc->bDeviceClass; 252 device.dev_subclass = ddesc->bDeviceSubClass; 253 device [all...] |