/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/infiniband/ |
H A D | arch.h | 54 * mb() - memory barrier. No loads or stores may be reordered across 67 #define mb() asm volatile("lock; addl $0,0(%%esp) " ::: "memory") macro 68 #define rmb() mb() 70 #define wc_wmb() mb() 75 * Only use lfence for mb() and rmb() because we don't care about 78 #define mb() asm volatile("lfence" ::: "memory") macro 79 #define rmb() mb() 85 #define mb() asm volatile("sync" ::: "memory") macro 87 #define wmb() mb() 92 #define mb() as macro 99 #define mb macro 106 #define mb macro 113 #define mb macro 122 #define mb macro [all...] |
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | idc_export.c | 34 struct monitor_binding *mb; member in struct:idc_export_send_state 41 struct monitor_binding *mb = st->mb; local 44 errval_t err = mb->tx_vtbl.alloc_iref_request(mb, NOP_CONT, (uintptr_t)e); 47 event_mutex_unlock(&mb->mutex); 49 err = mb->register_send(mb, mb->waitset, 54 event_mutex_unlock(&mb 73 struct monitor_binding *mb = get_monitor_binding(); local 89 struct monitor_binding *mb; member in struct:idc_export_get_state 95 struct monitor_binding *mb = st->mb; local 114 struct monitor_binding *mb = get_monitor_binding(); local [all...] |
H A D | monitor_client.c | 244 struct monitor_binding *mb = get_monitor_binding(); local 248 err = mb->tx_vtbl.new_monitor_binding_request(mb, NOP_CONT, (uintptr_t)lmpb); 250 event_mutex_unlock(&mb->mutex); 252 err = mb->register_send(mb, mb->waitset, 256 event_mutex_unlock(&mb->mutex); 348 static void get_monitor_rpc_iref_reply(struct monitor_binding *mb, iref_t iref, argument 383 struct monitor_binding *mb local 408 struct monitor_binding *mb = get_monitor_binding(); local [all...] |
H A D | flounder_support.c | 95 struct waitset * flounder_support_get_current_monitor_waitset(struct monitor_binding *mb) argument 97 return mb->waitset; 100 errval_t flounder_support_change_monitor_waitset(struct monitor_binding *mb, argument 103 return mb->change_waitset(mb, ws); 106 void flounder_support_monitor_mutex_enqueue(struct monitor_binding *mb, argument 110 event_mutex_enqueue_lock(&mb->mutex, qn, cl); 113 void flounder_support_monitor_mutex_unlock(struct monitor_binding *mb) argument 115 event_mutex_unlock(&mb->mutex); 131 struct monitor_binding *mb, 130 flounder_stub_send_cap(struct flounder_cap_state *s, struct monitor_binding *mb, uintptr_t monitor_id, struct capref cap, bool give_away, void (*cont)(void *st)) argument [all...] |
H A D | nameservice_client.c | 177 static void get_name_iref_reply(struct monitor_binding *mb, iref_t iref, argument 208 struct monitor_binding *mb = get_monitor_binding(); local 209 mb->rx_vtbl.get_name_iref_reply = get_name_iref_reply; 210 err = mb->tx_vtbl.get_name_iref_request(mb, NOP_CONT, (uintptr_t)&st);
|
H A D | ram_alloc.c | 172 static void get_mem_iref_reply(struct monitor_binding *mb, iref_t iref) argument 219 struct monitor_binding *mb = get_monitor_binding(); local 220 mb->rx_vtbl.get_mem_iref_reply = get_mem_iref_reply; 221 err = mb->tx_vtbl.get_mem_iref_request(mb, NOP_CONT);
|
/barrelfish-2018-10-04/kernel/ |
H A D | microbenchmarks.c | 36 static int microbench_print(struct microbench *mb, char *buf, size_t len) argument 39 divide_round(mb->result, MICROBENCH_ITERATIONS)); 46 struct microbench *mb; local 48 mb = &benchs[i]; 50 mb->name); 51 r = mb->run_func(mb); 54 printk(LOG_ERR, "%s: Error %d running %s\n", __func__, r, mb->name); 65 struct microbench *mb; local 69 mb [all...] |
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | kernel_multiboot2.c | 21 multiboot2_find_header(struct multiboot_header_tag *mb, const size_t size, const multiboot_uint16_t type) { argument 26 if (mb->type == MULTIBOOT_TAG_TYPE_END) { 28 } else if (mb->type == type) { 29 return mb; 32 processed += mb->size; 33 mb = ((void*)mb) + mb->size; 40 multiboot2_find_cmdline(struct multiboot_header_tag *mb, const size_t size) argument 42 return (struct multiboot_tag_string*)multiboot2_find_header(mb, siz [all...] |
H A D | init.c | 137 struct multiboot_header_tag *mb; local 141 mb = (struct multiboot_header_tag *)(mbhdr + 1); 144 kernel_cmd = multiboot2_find_cmdline(mb, size); 157 multiboot2_find_header(mb, size, MULTIBOOT_TAG_TYPE_EFI_MMAP); 166 armv8_glbl_core_data->multiboot_image.base = mem_to_local_phys((lvaddr_t) mb);
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/asm/ |
H A D | atomic.h | 39 #define mb() __asm __volatile("mfence;" : : : "memory") macro
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | microbenchmarks.c | 21 static int asswitch_func(struct microbench *mb) argument 38 mb->result = end - start; 43 static int wrmsr_func(struct microbench *mb) argument 53 mb->result = end - start; 58 static int init_ipi_func(struct microbench *mb) argument 69 mb->result = end - start; 74 static int start_ipi_func(struct microbench *mb) argument 84 mb->result = end - start;
|
H A D | init.c | 583 struct multiboot_info *mb = NULL; local 594 mb = (struct multiboot_info *)pointer; 627 if (mb != NULL) { /* Multiboot info was passed */ 628 multiboot_flags = mb->flags; 629 elf = (struct x86_coredata_elf *)&mb->syms.elf; 639 ROUND_UP(max(multiboot_end_addr(mb), (uintptr_t)&_end_kernel), 642 glbl_core_data->mods_addr = mb->mods_addr; 643 glbl_core_data->mods_count = mb->mods_count; 644 glbl_core_data->cmdline = mb->cmdline; 645 glbl_core_data->mmap_length = mb [all...] |
/barrelfish-2018-10-04/kernel/include/arch/armv8/ |
H A D | kernel_multiboot2.h | 15 multiboot2_find_header(struct multiboot_header_tag *mb, const size_t size, 19 multiboot2_find_cmdline(struct multiboot_header_tag *mb, const size_t size);
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | microbenchmarks.c | 20 static int asswitch_func(struct microbench *mb) argument 37 mb->result = end - start; 42 static int wrmsr_func(struct microbench *mb) argument 52 mb->result = end - start;
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | init.c | 213 struct multiboot_info *mb= local 219 (const char *)local_phys_to_mem((lpaddr_t)mb->cmdline); 226 MSG(" info header at 0x%"PRIxLVADDR"\n", (lvaddr_t)mb); 227 MSG(" mods_addr is P:0x%"PRIxLPADDR"\n", (lpaddr_t)mb->mods_addr); 228 MSG(" mods_count is 0x%"PRIu32"\n", mb->mods_count); 229 MSG(" cmdline is at P:0x%"PRIxLPADDR"\n", (lpaddr_t)mb->cmdline); 230 MSG(" cmdline reads '%s'\n", local_phys_to_mem((lpaddr_t)mb->cmdline)); 231 MSG(" mmap_length is 0x%"PRIu32"\n", mb->mmap_length); 232 MSG(" mmap_addr is P:0x%"PRIxLPADDR"\n", (lpaddr_t)mb->mmap_addr); 233 MSG(" multiboot_flags is 0x%"PRIu32"\n", mb [all...] |
/barrelfish-2018-10-04/kernel/include/ |
H A D | kernel_multiboot.h | 27 void multiboot_info_print(struct multiboot_info *mb);
|
/barrelfish-2018-10-04/include/flounder/ |
H A D | flounder_support.h | 48 struct waitset * flounder_support_get_current_monitor_waitset(struct monitor_binding *mb); 49 errval_t flounder_support_change_monitor_waitset(struct monitor_binding *mb, 51 void flounder_support_monitor_mutex_enqueue(struct monitor_binding *mb, 54 void flounder_support_monitor_mutex_unlock(struct monitor_binding *mb);
|
H A D | flounder_support_caps.h | 37 struct monitor_binding *mb,
|
/barrelfish-2018-10-04/lib/rcce/ |
H A D | rcce.c | 215 struct msg_buf *mb = &msgbuf[core_id]; local 217 mb->bulk_ready = true; 218 mb->length = size; 219 mb->current = 0; 220 mb->msg = privbuf; 223 dprintf("%d: R(%lu,%d,%p,%d,%p)\n", my_core_id, size, source, mb, mb->pending, privbuf); 233 while(!mb->pending) { 243 assert(size == mb->length); 244 memcpy(privbuf, mb [all...] |
/barrelfish-2018-10-04/lib/octopus/server/ |
H A D | init.c | 65 struct monitor_binding *mb = get_monitor_binding(); local 67 err = mb->tx_vtbl.set_name_iref_request(mb, NOP_CONT, iref);
|
/barrelfish-2018-10-04/kernel/arch/arm/ |
H A D | multiboot.c | 41 struct multiboot_info *mb = local 44 local_phys_to_mem(mb->mods_addr); 46 for(size_t i = 0; i < mb->mods_count; i++) {
|
/barrelfish-2018-10-04/kernel/arch/k1om/ |
H A D | init.c | 585 struct multiboot_info *mb = NULL; local 623 mb = (struct multiboot_info *) pointer; 627 mb->xeon_phi_id); 630 bp = (struct xeon_phi_boot_params *) (uintptr_t) mb->config_table; 640 glbl_core_data->bp = (struct xeon_phi_boot_params *) local_phys_to_mem(mb 658 if (mb != NULL) { /* Multiboot info was passed */ 659 multiboot_flags = mb->flags; 660 elf = (struct x86_coredata_elf *)&mb->syms.elf; 670 ROUND_UP(max(multiboot_end_addr(mb), (uintptr_t)&_end_kernel), 676 glbl_core_data->mods_addr = mb [all...] |
/barrelfish-2018-10-04/lib/octopus/client/ |
H A D | octopus.c | 108 static void get_name_iref_reply(struct monitor_binding *mb, iref_t iref, argument 146 struct monitor_binding *mb = get_monitor_binding(); local 150 mb->rx_vtbl.get_name_iref_reply = get_name_iref_reply; 151 err = mb->tx_vtbl.get_name_iref_request(mb, NOP_CONT, (uintptr_t)&rpc);
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | trace_support.c | 29 static void trace_monitor_send_prepare_finish(struct monitor_binding *mb, struct monitor_msg_queue_elem *elem); 338 static void trace_monitor_prepare_recv(struct monitor_binding *mb, coreid_t origin_core) argument 342 initiator_to_monitor_binding = mb; 369 static void trace_monitor_send_prepare_finish(struct monitor_binding *mb, struct monitor_msg_queue_elem *elem) argument 374 err = mb->tx_vtbl.trace_prepare_finished(mb, 379 struct monitor_state *ist = mb->st; 380 err = monitor_enqueue_send(mb, &ist->queue, get_default_waitset(), &elem->queue); 415 errval_t trace_monitor_init(struct monitor_binding *mb) argument 417 mb [all...] |
H A D | ump_support.c | 55 struct monitor_binding *mb; member in struct:bind_ump_request_state 66 struct monitor_binding *mb, 92 me->mb = mb; 104 monitor_bind_ump_client_request_error(mb, frame, conn_id, domain_id, err); 115 st->capability, st->mb, st->frame, st->domain_id); 119 static void monitor_bind_ump_client_request(struct monitor_binding *mb, argument 135 monitor_bind_ump_client_request_error(mb, frame, conn_id, domain_id, err); 148 monitor_bind_ump_client_request_error(mb, frame, conn_id, domain_id, err); 168 monitor_bind_ump_client_request_error(mb, fram 60 bind_ump_request_cont(struct intermon_binding *intermon_binding, iref_t iref, uintptr_t conn_id, uint32_t channel_length_in, uint32_t channel_length_out, struct frame_identity frameid, struct capability capability, struct monitor_binding *mb, struct capref frame, uintptr_t domain_id) argument 603 ump_monitor_init(struct monitor_binding *mb) argument [all...] |