/barrelfish-2018-10-04/usr/tests/octopus/ |
H A D | d2bench2.c | 4 * specified record name. 139 // reference record to measure retrieve time 152 char* record; local 156 cl->call_seq.set(cl, buf, SET_SEQUENTIAL, NOP_TRIGGER, false, &record, &tid, &error_code); 162 cl->call_seq.get(cl, query, NOP_TRIGGER, &record, &tid, &error_code); 165 //timestamps[k].count = atoll(strrchr(record, '}')+1); 166 free(record);
|
H A D | d2bench.c | 99 char* record = "rec_ { attribute: 1 }"; local 106 //printf("add to system: %s\n", record); 107 cl->call_seq.set(cl, record, SET_SEQUENTIAL, NOP_TRIGGER, false, &ret, &tid, &error_code);
|
/barrelfish-2018-10-04/lib/net/ |
H A D | arp.c | 54 char* record; local 63 err = oct_get(&record, query); 242 static void arp_change_event(octopus_mode_t mode, const char* record, void* st) argument 247 err = oct_read(record, "_" ARP_ENTRY_FIELDS, &hwaddr, &ip); 336 char* record = NULL; local 340 err = oct_get(&record, query); 353 err = oct_wait_for(&record, query); 363 err = oct_read(record, "_" ARP_ENTRY_FIELDS, mac, &ip_adr);
|
/barrelfish-2018-10-04/usr/kaluga/ |
H A D | armv7_startup.c | 166 char* record, struct driver_argument* int_arg) 169 assert(record != NULL); 206 err = oct_read(record, "%s", &name); 303 newstyle_start_function(coreid_t where, struct module_info* driver, char* record, argument 307 assert(record != NULL); 313 err = oct_read(record, "_ { dep1: %s }", &dep1); 322 err = oct_read(record, "_ { dep2: %s }", &dep2); 331 err = oct_read(record, "%s", &name); 165 default_start_function(coreid_t where, struct module_info* driver, char* record, struct driver_argument* int_arg) argument
|
H A D | armv8.c | 45 char* record = NULL; local 46 err = oct_barrier_enter("barrier.acpi", &record, 2);
|
H A D | boot_modules.h | 17 char* record, struct driver_argument * int_arg);
|
H A D | armv7.c | 26 static void start_driverdomain(char* record) { argument 29 errval_t err = mi->start_function(0, mi, record, NULL);
|
H A D | x86.c | 146 char* record = NULL; local 147 err = oct_barrier_enter("barrier.acpi", &record, 2);
|
/barrelfish-2018-10-04/lib/octopus/parser/ |
H A D | ast.c | 133 errval_t generate_ast(const char* input, struct ast_object** record) argument 154 *record = p.ast; 161 *record = NULL;
|
H A D | read.c | 3 * \brief Helper functions to read record contents. 25 * \brief Reads the content of a record string based on the provided format. 35 * \param record Record to read. 45 errval_t oct_read(const char* record, const char* format, ...) argument 55 // Parse record and format strings 59 err = generate_ast(record, &ast); 83 // Just ignore record name 106 // Try to find attribute in record AST
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/ |
H A D | main.c | 140 char* record; local 141 err = oct_get(&record, names[i]); 146 err = oct_read(record, "_ { kcb_id: %d, barrelfish_id: %d, cap_key: %s }", 172 char* record; local 173 err = oct_get(&record, names[i]); 177 err = oct_read(record, "_ { " HW_PROCESSOR_GENERIC_FIELDS "}",
|
/barrelfish-2018-10-04/lib/octopus/server/ |
H A D | service.c | 101 char* record = drs->query_state.std_out.buffer[0] != '\0' ? local 109 record, 299 char* record = err_is_ok(drs->error) && drs->return_record ? local 303 err = b->tx_vtbl.set_response(b, MKCONT(free_oct_reply_state, drs), record, 447 char *record = err_is_ok(drs->error) && drs->return_record ? local 453 record, drs->server_id, 722 char* record = drs->query_state.std_out.buffer[0] != '\0' ? local 727 drs->mode, record, drs->client_state); 796 void publish_handler(struct octopus_binding *b, const char* record) argument 798 OCT_DEBUG("publish_handler query: %s\n", record); [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | make.pl | 62 % event handler to record the compiled files, the modules they are 73 record(compiled_file, .(File, Module, Time)),
|
/barrelfish-2018-10-04/usr/skb/octopus/ |
H A D | code_generator.c | 4 * the AST of a given record. 173 errval_t transform_record(struct ast_object* ast, struct skb_ec_terms* record) argument 176 translate(ast, record);
|
H A D | predicates.c | 464 // else: no record with this attribute, just ignore 489 char* record = NULL; local 490 res = ec_get_string(ec_arg(1), &record); 493 // record will be null 525 OCT_DEBUG("p_trigger_watch: %s\n", record); 532 if (record != NULL) { 533 assert(strlen(record)+1 < MAX_QUERY_LENGTH); 534 strcpy(drs->query_state.std_out.buffer, record);
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 559 char* record = NULL; local 560 err = oct_get(&record, "hw.processor.%"PRIuCOREID"", core_id); 566 err = oct_read(record, "_ { parkingVersion: %d, parkedAddress: %d}", 615 if (record) { 616 free(record); 863 char* record = NULL; local 864 errval_t err = oct_get(&record, "hw.processor.%"PRIuCOREID"", core_id); 871 err = oct_read(record, "_ { " HW_PROCESSOR_GENERIC_FIELDS " }", 885 if (record) { 886 free(record); [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | prop.pl | 49 record(label, [label(Val, D)|Var]), 63 record(call, [Mark|Copy]). 66 record(exit, [Mark|Copy]). 69 record(exit, [Mark|Copy]). 72 record(fail, Mark), 79 % We can only record goals, no suspensions, because of bug #731, otherwise 91 record(wake, [Mark|WokenList]) 96 record(delay, [Mark|DelayedList]) 131 record(delay_goal, [Mark|Copy]),
|
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | main_card.c | 142 static void spawnd_change_event(octopus_mode_t mode, char* record, void* state) argument 146 debug_printf("spawnd found: %s\n", record);
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/VMS/ |
H A D | mkshared.com | 149 $! The record writer routine 240 $! The record writer routine for VAX functions 250 $! The record writer routine for VAX variables (should never happen!)
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | assoc.pl | 140 put_assoc(K,T,V,T1), % record the tree anywhere. You have to 142 record(tree,T1,_). 150 record(tree,t,_), % Create an empty tree
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mthca/ |
H A D | mthca_eq.c | 247 struct ib_event record; local 252 record.device = &dev->ib_dev; 253 record.event = active ? IB_EVENT_PORT_ACTIVE : IB_EVENT_PORT_ERR; 254 record.element.port_num = port; 256 ib_dispatch_event(&record);
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 43 char* record = NULL; local 44 errval_t err = oct_get(&record, "hw.processor.%"PRIuCOREID"", core_id); 48 err = oct_read(record, "_ { hw_id: %d, enabled: %d, type: %d}",
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/x86/ |
H A D | boot_arch.c | 70 char* record = NULL; 71 errval_t err = oct_get(&record, "hw.processor.%"PRIuCOREID"", core_id); 77 err = oct_read(record, "_ { apic_id: %d, enabled: %d, type: %d}",
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsbugs.tex | 80 \predspec{shelf_set/3}, \predspec{store_set/3}, \predspec{record/2}, etc.).
|
/barrelfish-2018-10-04/include/octopus/parser/ |
H A D | ast.h | 3 * \brief Header file containing definitions for the record ast. 140 errval_t generate_ast(const char* input, struct ast_object** record);
|