/barrelfish-2018-10-04/usr/monitor/arch/armv7/ |
H A D | boot.c | 48 struct frame_identity frameid; local 49 err = invoke_frame_identify(frame, &frameid); 55 size_t framesize = frameid.bytes; 115 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base; 117 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
|
/barrelfish-2018-10-04/usr/monitor/arch/armv8/ |
H A D | boot.c | 48 struct frame_identity frameid; local 49 err = invoke_frame_identify(frame, &frameid); 55 size_t framesize = frameid.bytes; 115 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base; 117 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
|
/barrelfish-2018-10-04/usr/monitor/arch/x86/ |
H A D | boot.c | 54 struct frame_identity frameid; local 55 err = invoke_frame_identify(frame, &frameid); 61 size_t framesize = frameid.bytes; 121 umpb->ump_state.chan.sendid = (uintptr_t)frameid.base; 123 (uintptr_t)(frameid.base + MON_URPC_CHANNEL_LEN);
|
/barrelfish-2018-10-04/usr/bench/net_latency/elb/ |
H A D | interface_lib.c | 46 struct frame_identity frameid = { .base = 0, .bits = 0 }; local 53 r = invoke_frame_identify(*frame, &frameid); 57 *phys = frameid.base;
|
/barrelfish-2018-10-04/usr/pci/ |
H A D | pci_msix.c | 128 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 171 invoke_frame_identify(tablecap, &frameid); 172 err = vspace_map_one_frame_attr(&virt, frameid.bytes, tablecap, 185 assert(cap[1] + (*count*16) <= frameid.bytes);
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/ |
H A D | boot_arch.c | 94 struct frame_identity *frameid) 127 err = invoke_frame_identify(cap, frameid); 158 struct frame_identity *frameid) 174 err = invoke_frame_identify(cap, frameid); 525 struct frame_identity frameid; member in struct:__anon1475 532 &coredata_mem.frameid); 541 (lpaddr_t)coredata_mem.frameid.base + arch_page_size; 544 arch_page_size, (lpaddr_t)coredata_mem.frameid.base); 546 coredata_mem.frameid.bytes - arch_page_size, rel_seg_kvaddr); 645 coredata_mem.frameid 92 cpu_memory_prepare(size_t *size, struct capref *cap_ret, void **buf_ret, struct frame_identity *frameid) argument 157 spawn_memory_prepare(size_t size, struct capref *cap_ret, struct frame_identity *frameid) argument [all...] |
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 173 struct frame_identity frameid; member in struct:mem_info 189 err = invoke_frame_identify(mem_info->cap, &mem_info->frameid); 302 uint64_t segment_load_base=mem->frameid.base; 438 lpaddr_t dest_phys = mem->frameid.base; 440 assert(phdr[i].p_offset + phdr[i].p_memsz <= mem->frameid.bytes); 606 parking_page->frameid.base = parked_address; 607 parking_page->frameid.bytes = 4096; 699 DEBUG("BOOTMEM: %lx, %zu kb\n", boot_mem.frameid.base, boot_mem.size >> 10); 712 DEBUG("CPUMEM: %lx, %zu kb\n", cpu_mem.frameid.base, cpu_mem.size >> 10); 724 DEBUG("DATAMEM: %lx, %zu kb\n", monitor_mem.frameid [all...] |
/barrelfish-2018-10-04/usr/monitor/ |
H A D | ump_support.c | 53 struct frame_identity frameid; member in struct:bind_ump_request_state 64 struct frame_identity frameid, 75 assert((1UL << log2ceil(frameid.bytes)) == frameid.bytes); 79 channel_length_out, frameid.base, log2ceil(frameid.bytes), 90 me->frameid = frameid; 114 st->args.channel_length_out, st->frameid, 144 struct frame_identity frameid; local 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 [all...] |
H A D | monitor_server.c | 899 struct frame_identity frameid; local 900 err = invoke_frame_identify(disp, &frameid); 917 assert((1UL << log2ceil(frameid.bytes)) == frameid.bytes); 921 frameid.base, frameid.bytes);
|
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/ |
H A D | e10k_devif_vf.c | 246 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 254 r = invoke_frame_identify(q->tx_frame, &frameid); 256 tx_phys = frameid.base; 257 tx_size = frameid.bytes; 259 r = invoke_frame_identify(q->rx_frame, &frameid); 261 rx_phys = frameid.base; 262 rx_size = frameid.bytes; 353 r = invoke_frame_identify(q->txhwb_frame, &frameid); 355 txhwb_phys = frameid.base;
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | ump_chan.c | 311 struct frame_identity frameid; local 312 err = frame_identify(frame, &frameid); 318 uc->recvid = (uintptr_t)(frameid.base + outchanlen); 319 uc->sendid = (uintptr_t)frameid.base; 321 if (frameid.bytes < inchanlen + outchanlen) { 327 err = vspace_map_one_frame_attr(&buf, frameid.bytes, frame, UMP_MAP_ATTR,
|
/barrelfish-2018-10-04/usr/drivers/e1000/ |
H A D | e1000n_hwinit.c | 752 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 755 err = invoke_frame_identify(rx, &frameid); 769 e1000_rdbal_I350_wr(hw_device, 0, frameid.base & 0xffffffff); 770 e1000_rdbah_I350_wr(hw_device, 0, (frameid.base >> 32) & 0xffffffff); 779 e1000_rdbal_wr(hw_device, 0, frameid.base & 0xffffffff); 780 e1000_rdbah_wr(hw_device, 0, (frameid.base >> 32) & 0xffffffff); 864 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 867 err = invoke_frame_identify(tx, &frameid); 876 e1000_tdbal_I350_wr(hw_device, 0, frameid.base & 0xffffffff); 877 e1000_tdbah_I350_wr(hw_device, 0, frameid [all...] |
/barrelfish-2018-10-04/usr/drivers/usb/usb_manager/ |
H A D | usb_manager.c | 262 struct frame_identity frameid; 264 err = invoke_frame_identify(dev_cap, &frameid); 271 size_t size = (1UL << frameid.bits); /* bytes */
|
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/x86/ |
H A D | boot_arch.c | 456 struct frame_identity frameid, 470 elf64_relocate(frameid.base + arch_page_size, state.elfbase, 489 elf32_relocate(frameid.base + arch_page_size, state.elfbase, 572 struct frame_identity frameid; local 575 &cpu_memory_cap, &cpu_memory, &frameid); 638 err = relocate_cpu_binary(cpu_binary, cpu_head, state, frameid, arch_page_size); 648 + frameid.base + arch_page_size; 453 relocate_cpu_binary(lvaddr_t cpu_binary, struct Elf64_Ehdr *cpu_head, struct elf_allocate_state state, struct frame_identity frameid, genpaddr_t arch_page_size) argument
|
/barrelfish-2018-10-04/lib/devif/backends/net/ip/ |
H A D | devif_backend_ip.c | 85 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 90 invoke_frame_identify(cap, &frameid); 93 frameid.bytes, cap, VREGION_FLAGS_READ_WRITE,
|
/barrelfish-2018-10-04/lib/devif/backends/net/udp/ |
H A D | devif_backend_udp.c | 76 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 81 invoke_frame_identify(cap, &frameid); 84 frameid.bytes, cap, VREGION_FLAGS_READ_WRITE,
|
/barrelfish-2018-10-04/usr/drivers/e10k/ |
H A D | e10k_vf.c | 305 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 310 r = invoke_frame_identify(queues[n].tx_frame, &frameid); 312 tx_phys = frameid.base; 313 tx_size = frameid.bytes; 315 r = invoke_frame_identify(queues[n].rx_frame, &frameid); 317 rx_phys = frameid.base; 318 rx_size = frameid.bytes; 407 r = invoke_frame_identify(queues[n].txhwb_frame, &frameid); 409 txhwb_phys = frameid.base;
|
H A D | e10k_cdriver.c | 1029 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 1035 r = invoke_frame_identify(queues[n].tx_frame, &frameid); 1037 tx_phys = frameid.base; 1038 tx_size = frameid.bytes; 1040 r = invoke_frame_identify(queues[n].rx_frame, &frameid); 1042 rx_phys = frameid.base; 1043 rx_size = frameid.bytes; 1208 r = invoke_frame_identify(queues[n].txhwb_frame, &frameid); 1210 txhwb_phys = frameid.base;
|
H A D | e10k_qdriver.c | 870 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 879 invoke_frame_identify(registers, &frameid); 880 err = vspace_map_one_frame_attr(&virt, frameid.bytes, registers,
|
/barrelfish-2018-10-04/lib/ahci/ |
H A D | ahci_dma_pool.c | 156 struct frame_identity frameid; local 174 err = frame_identify(frame, &frameid); 190 pool.phys_addrs[pool.addr_count] = frameid.base;
|
/barrelfish-2018-10-04/usr/ramfsd/ |
H A D | service.c | 125 struct frame_identity frameid; local 126 err = invoke_frame_identify(shared_frame, &frameid); 133 size_t bulk_size = frameid.bytes;
|
/barrelfish-2018-10-04/usr/drivers/solarflare/ |
H A D | sfn5122f_cdriver.c | 540 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 624 r = invoke_frame_identify(st->mac_stats, &frameid); 626 st->mac_phys = frameid.base; 680 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 753 r = invoke_frame_identify(st->int_ker, &frameid); 756 sfn5122f_int_adr_reg_ker_lo_wr(st->d, frameid.base); 940 //struct frame_identity frameid = { .base = 0, .bytes = 0 }; 963 r = invoke_frame_identify(queues[n].ev_frame, &frameid); 965 ev_phys = frameid.base;
|
/barrelfish-2018-10-04/lib/net_queue_manager/ |
H A D | net_soft_filters_srv_impl.c | 672 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 688 r = frame_identify(frame, &frameid); 692 rx_ring_phys = frameid.base;
|
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | guest.c | 264 struct frame_identity frameid = { .base = 0, .bytes = 0 }; local 265 errval_t r = invoke_frame_identify(cap, &frameid); 267 VMKIT_PCI_DEBUG("alloc_guest_mem: frameid.base: 0x%lx, frameid.bytes: %zd, " 269 frameid.base, frameid.bytes, g->mem_low_va, g->mem_high_va);
|