| /barrelfish-2018-10-04/kernel/arch/arm/ |
| H A D | multiboot.c | 69 uintptr_t multiboot_end_addr(struct multiboot_info *mi) argument
[all...] |
| /barrelfish-2018-10-04/kernel/arch/x86/ |
| H A D | multiboot.c | 66 uintptr_t multiboot_end_addr(struct multiboot_info *mi) argument
[all...] |
| /barrelfish-2018-10-04/usr/kaluga/ |
| H A D | x86.c | 35 struct module_info * mi = find_module(SERIAL_BINARY); local
78 struct module_info * mi = find_module(LPC_TIMER_BINARY); local
|
| H A D | armv7.c | 27 struct module_info* mi = find_module("driverdomain"); local
45 struct module_info* mi = find_module("prcm"); local
85 struct module_info* mi = find_module("serial_pl011"); local
[all...] |
| H A D | driver_startup.c | 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
116 errval_t start_boot_driver(coreid_t where, struct module_info* mi, argument
[all...] |
| H A D | boot_modules.c | 19 inline bool is_auto_driver(struct module_info* mi) { argument
23 inline bool is_started(struct module_info* mi) argument
28 inline bool can_start(struct module_info* mi) argument
35 struct module_info* mi = find_module(binary); local
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_pci.c | 413 struct module_info* mi = find_module(binary_name); local
498 struct module_info* mi = find_module("pci"); 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
398 cpuid_amd_miscinfo_t mi = (cpuid_amd_miscinfo_t)®.ebx; local
|
| H A D | cpuid_intel.c | 505 cpuid_intel_miscinfo_t mi = (cpuid_intel_miscinfo_t)®.ebx; local
|
| /barrelfish-2018-10-04/tools/elver/ |
| H A D | elver.c | 168 struct multiboot_info *mi = multiboot_info; local
[all...] |
| /barrelfish-2018-10-04/lib/virtio/ |
| H A D | virtqueue_host.c | 177 struct vring_mem_info *mi = vq->mem; local
323 struct vring_mem_info *mi = calloc(1, sizeof(struct vring_mem_info)); local
[all...] |
| /barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
| H A D | interphi.c | 121 static inline uint8_t rpc_start(struct msg_info *mi) argument
135 static inline void rpc_wait_done(struct msg_info *mi) argument
172 static inline void rpc_done(struct msg_info *mi) argument
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/usr/eclipseclp/Kernel/src/ |
| H A D | bip_domain.c | 555 word mi, ma; local
710 dom_range(register pword *p, word *mi, word *ma) argument
|