Searched refs:device_record (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/usr/kaluga/ |
H A D | start_hpet.h | 9 void hpet_change_event(oct_mode_t mode, const char* device_record, void* st);
|
H A D | start_hpet.c | 166 static errval_t hpet_comp_store_irq_info(const char *device_record, argument 180 err = hpet_comp_get_irq_index(device_record, drv->args[0], &irq_idx); 215 static errval_t start_hpet_comp_driver(const char *device_record){ argument 225 err = hpet_comp_store_irq_info(device_record, drv); 228 err = hpet_comp_store_index_arg(device_record, drv); 237 static void hpet_comp_change_event(oct_mode_t mode, const char *device_record, void *st) { argument 240 errval_t err = start_hpet_comp_driver(device_record); 247 void hpet_change_event(oct_mode_t mode, const char *device_record, void *st) { argument 259 err = start_hpet_driver(0, mi, (CONST_CAST)device_record); 289 static void irq_ready_event(oct_mode_t mode, const char *device_record, argument [all...] |
H A D | start_int_ctrl.c | 65 const char* device_record, void* st) 75 KALUGA_DEBUG("Device record: %s\n", device_record); 76 err = oct_read(device_record, "_ { label: %s, class: %s }", 64 int_controller_change_event(octopus_mode_t mode, const char* device_record, void* st) argument
|
H A D | start_decnet.c | 120 static void decnet_change_event(octopus_mode_t mode, const char* device_record, argument 123 KALUGA_DEBUG("Decoding net record: %s\n", device_record); 128 errval_t err = oct_read(device_record, "_ { device: %s }", &device);
|
H A D | start_pci.c | 51 static void pci_change_event(octopus_mode_t mode, const char* device_record, 308 static void pci_change_event(octopus_mode_t mode, const char* device_record, argument 317 KALUGA_DEBUG("pci_change_event: device_record: %s\n", device_record); 322 err = oct_read(device_record, "_ { vendor: %d, device_id: %d, bus: %d, device: %d," 343 * device_record might be allocated using strdup() in 346 device_record = strdup(device_record); 347 assert(device_record); 402 err = wait_for_spawnd(core, (CONST_CAST)device_record); [all...] |
Completed in 34 milliseconds