/barrelfish-2018-10-04/kernel/arch/arm/ |
H A D | multiboot.c | 69 uintptr_t multiboot_end_addr(struct multiboot_info *mi) argument 71 lpaddr_t end = (lpaddr_t)mi + sizeof(struct multiboot_info); 76 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_CMDLINE) { 77 CHECK_STR(mi->cmdline) 80 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_MODS) { 81 struct multiboot_modinfo *mod = (void *)(uintptr_t)mi->mods_addr; 83 for(int i = 0; i < mi->mods_count; i++) { 89 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_ELF_SYMS) { 90 CHECK(mi->syms.elf.addr + mi [all...] |
/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | multiboot.c | 66 uintptr_t multiboot_end_addr(struct multiboot_info *mi) argument 68 lpaddr_t end = (lpaddr_t)mi + sizeof(struct multiboot_info); 73 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_CMDLINE) { 74 CHECK_STR(mi->cmdline) 77 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_MODS) { 78 struct multiboot_modinfo *mod = (void *)(uintptr_t)mi->mods_addr; 80 for(int i = 0; i < mi->mods_count; i++) { 86 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_ELF_SYMS) { 87 CHECK(mi->syms.elf.addr + mi [all...] |
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/include/linux/ |
H A D | kdev_t.h | 35 #define MKDEV(ma, mi) makedev((ma), (mi))
|
/barrelfish-2018-10-04/usr/kaluga/ |
H A D | armv7.c | 27 struct module_info* mi = find_module("driverdomain"); local 28 if (mi != NULL) { 29 errval_t err = mi->start_function(0, mi, record, NULL); 45 struct module_info* mi = find_module("prcm"); local 46 if (mi != NULL) { 47 err = mi->start_function(0, mi, "hw.arm.omap44xx.prcm {}", NULL); 51 mi = find_module("serial"); 52 if (mi ! 85 struct module_info* mi = find_module("serial_pl011"); local [all...] |
H A D | boot_modules.c | 19 inline bool is_auto_driver(struct module_info* mi) { argument 20 return mi->argc > 1 && strcmp(mi->argv[1], "auto") == 0; 23 inline bool is_started(struct module_info* mi) argument 25 return (mi->num_started); 28 inline bool can_start(struct module_info* mi) argument 30 return (mi->allow_multi || (mi->num_started == 0)); 35 struct module_info* mi = find_module(binary); local 36 if (mi ! 41 set_started(struct module_info* mi) argument 47 set_multi_instance(struct module_info* mi, uint8_t is_multi) argument 52 set_core_id_offset(struct module_info* mi, coreid_t offset) argument 57 get_did_ptr(struct module_info *mi) argument 62 get_core_id_offset(struct module_info* mi) argument [all...] |
H A D | start_cpu.h | 11 struct module_info* mi,
|
H A D | driver_startup.c | 46 struct module_info* mi, 49 assert(mi != NULL); 57 if (!can_start(mi)) { 61 core = where + get_core_id_offset(mi); 63 if (!is_auto_driver(mi)) { 70 int argc = mi->argc; 73 memcpy(argv, mi->argv, (argc+1) * sizeof(char *)); 103 //err = spawn_program(core, mi->path, argv, 104 // environ, 0, get_did_ptr(mi)); 110 err = spawn_program_with_caps(core, mi 45 default_start_function(coreid_t where, struct module_info* mi, char* record, struct driver_argument * arg) argument 136 default_start_function_new(coreid_t where, struct module_info* mi, char* record, struct driver_argument* arg) argument [all...] |
H A D | start_cpu.c | 56 struct module_info* mi = find_corectrl_for_cpu_type((enum cpu_type)type); local 57 if (mi != NULL) { 58 err = mi->start_function(0, mi, (CONST_CAST)record, NULL); 116 errval_t start_boot_driver(coreid_t where, struct module_info* mi, argument 119 assert(mi != NULL); 122 if (!is_auto_driver(mi)) { 128 char **argv = mi->argv; 131 size_t argc = mi->argc; 156 memcpy(argv, mi [all...] |
H A D | x86.c | 35 struct module_info * mi = find_module(SERIAL_BINARY); local 36 if (mi != NULL) { 65 err = mi->start_function(0, mi, "hw.legacy.uart.1 {}", &arg); 78 struct module_info * mi = find_module(LPC_TIMER_BINARY); local 79 if (mi != NULL) { 106 err = mi->start_function(0, mi, "hw.legacy.timer.1 {}", &arg);
|
H A D | start_pci.c | 413 struct module_info* mi = find_module(binary_name); local 414 if (mi == NULL) { 419 set_multi_instance(mi, multi); 420 set_core_id_offset(mi, offset); 441 mi->binary); 457 err = mi->start_function(core, mi, (CONST_CAST)device_record, &driver_arg); 460 KALUGA_DEBUG("Spawned PCI driver: %s\n", mi->binary); 461 set_started(mi); 465 KALUGA_DEBUG("%s already running.\n", mi 498 struct module_info* mi = find_module("pci"); local [all...] |
H A D | driver_startup.h | 21 default_start_function_new(coreid_t where, struct module_info* mi, char* record,
|
H A D | boot_modules.h | 16 typedef errval_t(*module_start_fn)(coreid_t where, struct module_info* mi,
|
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | interphi.c | 116 * \param mi Xeon Phi message info 121 static inline uint8_t rpc_start(struct msg_info *mi) argument 123 if (!mi->wait_reply) { 124 mi->wait_reply = 0x1; 133 * \param mi Xeon Phi message info 135 static inline void rpc_wait_done(struct msg_info *mi) argument 138 while (mi->wait_reply) { 170 * \param mi Xeon Phi message info 172 static inline void rpc_done(struct msg_info *mi) argument 174 mi 177 rpc_preamble(struct msg_info *mi) argument 994 struct msg_info *mi = calloc(1, sizeof(struct msg_info)); local 1122 struct msg_info *mi = calloc(1, sizeof(struct msg_info)); local 1248 struct msg_info *mi = phi->msg; local 1292 struct msg_info *mi = node->msg; local 1343 struct msg_info *mi = node->msg; local 1397 struct msg_info *mi = node->msg; local 1440 struct msg_info *mi = node->msg; local 1498 struct msg_info *mi = node->msg; local 1540 struct msg_info *mi = node->msg; local 1584 struct msg_info *mi = node->msg; local 1629 struct msg_info *mi = node->msg; local [all...] |
/barrelfish-2018-10-04/kernel/include/ |
H A D | kernel_multiboot.h | 29 uintptr_t multiboot_end_addr(struct multiboot_info *mi);
|
/barrelfish-2018-10-04/tools/elver/ |
H A D | elver.c | 168 struct multiboot_info *mi = multiboot_info; local 173 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_CMDLINE) { 174 CHECK_STR(mi->cmdline) 177 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_MODS) { 178 struct multiboot_modinfo *mod = (void *)mi->mods_addr; 180 for(int i = 0; i < mi->mods_count; i++) { 186 if (mi->flags & MULTIBOOT_INFO_FLAG_HAS_ELF_SYMS) { 187 CHECK(mi->syms.elf.addr + mi->syms.elf.num * mi [all...] |
/barrelfish-2018-10-04/lib/virtio/ |
H A D | virtqueue_host.c | 177 struct vring_mem_info *mi = vq->mem; local 178 while(mi) { 179 if (mi->guest_paddr > guest_phys) { 182 if (mi->guest_paddr <= guest_phys) { 183 if ((mi->guest_paddr + mi->size) > guest_phys) { 184 return mi->vaddr + (guest_phys - mi->guest_paddr); 187 mi = mi 323 struct vring_mem_info *mi = calloc(1, sizeof(struct vring_mem_info)); local [all...] |
/barrelfish-2018-10-04/lib/cpuid/ |
H A D | cpuid_amd.c | 293 cpuid_amd_miscinfo_t mi = (cpuid_amd_miscinfo_t)®.ebx; local 295 return cpuid_amd_miscinfo_cflush_sz_extract(mi) * 8; 398 cpuid_amd_miscinfo_t mi = (cpuid_amd_miscinfo_t)®.ebx; local 400 uint8_t local_apic_id = cpuid_amd_miscinfo_init_apicid_extract(mi); 401 uint8_t logical_processors = cpuid_amd_miscinfo_max_log_proc_extract(mi);
|
H A D | cpuid_intel.c | 505 cpuid_intel_miscinfo_t mi = (cpuid_intel_miscinfo_t)®.ebx; local 507 return cpuid_intel_miscinfo_cflush_sz_extract(mi) * 8;
|
/barrelfish-2018-10-04/include/sys/ |
H A D | cdefs.h | 136 #define __GNUC_PREREQ__(ma, mi) \ 137 (__GNUC__ > (ma) || __GNUC__ == (ma) && __GNUC_MINOR__ >= (mi)) 139 #define __GNUC_PREREQ__(ma, mi) 0
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | bip_domain.c | 555 word mi, ma; local 580 if (dom_range(s, &mi, &ma)) { 586 min += k * mi; 588 k = k * (ma - mi); 593 max += k * mi; 594 k = k * (mi - ma); 710 dom_range(register pword *p, word *mi, word *ma) argument 722 *mi = max = s->val.nint; 729 *mi = t->val.nint;
|
/barrelfish-2018-10-04/tools/demo/Aquarium/ |
H A D | Window1.xaml.cs | 50 MenuItem mi = new MenuItem();
51 mi.Header = arg;
52 mi.Click += new RoutedEventHandler(this.Connect_Click);
53 this.menuitem_Connect.Items.Add(mi);
|