/barrelfish-master/lib/octopus/server/ |
H A D | capstorage.c | 61 capdb->d.get_capability(&capdb->d, (CONST_CAST)key, &cap); 96 capdb->d.get_capability(&capdb->d, (CONST_CAST)key, &dbcap); 104 int r = capdb->d.put_capability(&capdb->d, (CONST_CAST)key, cap); 151 capdb->d.get_capability(&capdb->d, (CONST_CAST)key, &dbcap); 159 r = capdb->d.put_capability(&capdb->d, (CONST_CAST)dupkey, cap); 191 capdb->d.get_capability(&capdb->d, (CONST_CAST)key, &cap);
|
/barrelfish-master/include/barrelfish/ |
H A D | barrelfish.h | 69 typedef void *CONST_CAST; typedef
|
/barrelfish-master/usr/acpi/ |
H A D | pcilnk_controller_client.c | 39 ACPI_STATUS as = AcpiGetHandle(NULL, (CONST_CAST)device, &source); 77 ACPI_STATUS as = AcpiGetHandle(NULL, (CONST_CAST)device, &source); 106 ACPI_STATUS as = AcpiGetHandle(NULL, (CONST_CAST)device, &source);
|
H A D | acpi_service.c | 143 as = AcpiGetHandle(NULL, (CONST_CAST)pathname, &handle); 244 s = AcpiGetDevices(NULL, get_handle_handler_callback, (CONST_CAST)dev_id, &handle);
|
H A D | acpi.c | 260 as = AcpiEvaluateObjectTyped(handle, (CONST_CAST)name, NULL, &intbufobj, ACPI_TYPE_INTEGER);
|
/barrelfish-master/usr/arrakismon/ |
H A D | vmkitmon.c | 161 memcpy(pe->argv, (CONST_CAST)argv, MAX_CMDLINE_ARGS*sizeof(*argv)); 279 argv[i++] = (CONST_CAST)argbuf + pos; 295 envp[i++] = (CONST_CAST)envbuf + pos;
|
/barrelfish-master/usr/kaluga/ |
H A D | start_iommu.c | 155 err = mi->start_function(my_core_id, mi, (CONST_CAST)record, NULL);
|
H A D | start_pci.c | 402 err = wait_for_spawnd(core, (CONST_CAST)device_record); 450 err = mi->start_function(core, mi, (CONST_CAST)device_record, &driver_arg); 617 err = mi->start_function(my_core_id, mi, (CONST_CAST)bridge_record, &driver_arg);
|
H A D | start_cpu.c | 62 err = mi->start_function(0, mi, (CONST_CAST)record, NULL);
|
H A D | start_hpet.c | 259 err = start_hpet_driver(0, mi, (CONST_CAST)device_record);
|
/barrelfish-master/usr/drivers/xeon_phi/ |
H A D | xphi_service.c | 260 msg_st->err = interphi_domain_lookup(&phi->topology[phi->id], (CONST_CAST)name, 281 msg_st->err = interphi_domain_wait(&phi->topology[phi->id], (CONST_CAST)name, svc_st); 305 svc_st->name = (CONST_CAST)name; 454 msg_st->err = interphi_spawn_with_cap(node, core, (CONST_CAST)cmdline, length, 486 msg_st->err = interphi_spawn(node, core, (CONST_CAST)cmdline, length, flags,
|
H A D | interphi.c | 630 msg_st->err = spawn_cmdline_extract_argv((CONST_CAST)cmdline, length, argv, MAX_CMDLINE_ARGS); 697 msg_st->err = spawn_cmdline_extract_argv((CONST_CAST)cmdline, length, argv, MAX_CMDLINE_ARGS);
|
/barrelfish-master/lib/term/server/ |
H A D | server.c | 390 server->chars_cb(server->st, (CONST_CAST)buffer, length); 458 server->conf_cb(server->st, opt, (CONST_CAST)arguments);
|
/barrelfish-master/lib/bulk_transfer/backends/sm/ |
H A D | buffers.c | 371 channel->callbacks->move_received(channel, buffer, (CONST_CAST)meta); 482 channel->callbacks->copy_received(channel, buffer, (CONST_CAST)meta); 599 channel->callbacks->buffer_received(channel, buffer, (CONST_CAST)meta);
|
/barrelfish-master/lib/ahci/ |
H A D | ahci.c | 55 ahci_binding->identify_data = (CONST_CAST)identify_data;
|
/barrelfish-master/usr/spawnd/ |
H A D | service.c | 282 argv[i++] = (CONST_CAST)argbuf + pos; 298 envp[i++] = (CONST_CAST)envbuf + pos;
|
/barrelfish-master/lib/posixcompat/ |
H A D | sockets.c | 481 usr->msg = (CONST_CAST)msg;
|
/barrelfish-master/usr/monitor/ |
H A D | inter.c | 616 errval_t err = rsrc_set_phase_data(id, phase, (CONST_CAST)data, len);
|
H A D | monitor_rpc_server.c | 105 err = rsrc_submit_manifest(id, (CONST_CAST)str);
|