Searched refs:device_record (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/usr/kaluga/
H A Dstart_hpet.h9 void hpet_change_event(oct_mode_t mode, const char* device_record, void* st);
H A Dstart_hpet.c166 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 Dstart_int_ctrl.c65 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 Dstart_decnet.c120 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 Dstart_pci.c51 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