Searched refs:dev_id (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-2018-10-04/usr/drivers/ahcid/ |
| H A D | ahcid.c | 105 struct device_id *dev_id = arg; local
107 PCI_DONT_CARE, dev_id->vendor, dev_id->device, PCI_DONT_CARE, PCI_DONT_CARE,
109 ahci_reregister_handler, dev_id);
131 struct device_id *dev_id = malloc(sizeof(*dev_id)); local
132 dev_id->vendor = vendor_id;
133 dev_id->device = device_id;
139 ahci_reregister_handler, dev_id);
|
| /barrelfish-2018-10-04/include/acpi_client/ |
| H A D | acpi_client.h | 29 errval_t acpi_client_get_device_handle(const char *dev_id,
|
| /barrelfish-2018-10-04/lib/acpi_client/ |
| H A D | acpi_client.c | 31 errval_t acpi_client_get_device_handle(const char *dev_id, argument
36 err = binding->rpc_tx_vtbl.get_handle(binding, dev_id, ret_handle, &msgerr);
|
| /barrelfish-2018-10-04/usr/acpi/ |
| H A D | acpi_service.c | 238 static void get_handle_handler(struct acpi_binding *b, const char *dev_id) argument
242 debug_printf("Looking up handle for device '%s'\n", dev_id);
247 s = AcpiGetDevices(NULL, get_handle_handler_callback, (CONST_CAST)dev_id, &handle);
|
Completed in 102 milliseconds