/barrelfish-2018-10-04/kernel/include/ |
H A D | kernel_multiboot.h | 25 #define MBADDR_ASSTRING(vaddr) (char * NTS)TC((uintptr_t)(local_phys_to_mem(vaddr)))
|
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | plat_arm_vm.c | 25 lvaddr_t base = local_phys_to_mem(uart_base[port]); 35 return local_phys_to_mem(uart_base[port]);
|
H A D | plat_cn88xx.c | 73 lvaddr_t base = local_phys_to_mem(uart_base[port]); 83 return local_phys_to_mem(uart_base[port]); 109 struct armv8_core_data *cd = (struct armv8_core_data *)local_phys_to_mem(context);
|
H A D | plat_qemu.c | 77 lvaddr_t base = local_phys_to_mem(uart_base[port]); 87 return local_phys_to_mem(uart_base[port]); 112 struct armv8_core_data *cd = (struct armv8_core_data *)local_phys_to_mem(context);
|
H A D | init.c | 82 armv8_glbl_core_data = (void*) local_phys_to_mem(physical_mem); 86 global = (void*) local_phys_to_mem(armv8_glbl_core_data->start_free_ram); 186 kernel_stack_top = local_phys_to_mem(core_data->cpu_driver_stack_limit);
|
H A D | gic_v3.c | 37 lvaddr_t gic_dist = local_phys_to_mem(platform_gic_dist_base); 115 lvaddr_t gic_redist = local_phys_to_mem(platform_gic_redist_base);
|
H A D | startup_arch.c | 167 *ret = (void*)(local_phys_to_mem(pa) + off); 192 (struct multiboot_header_tag *) local_phys_to_mem( 200 elf_base = local_phys_to_mem(module->mod_start); 230 (struct multiboot_header_tag *)local_phys_to_mem(armv8_glbl_core_data->multiboot_image.base); 234 lvaddr_t mmstrings_base = local_phys_to_mem(mmstrings_phys); 342 local_phys_to_mem(armv8_glbl_core_data->efi_mmap); 390 init_l0 = (void *) local_phys_to_mem(alloc_phys_aligned(l0_size, VMSAv8_64_PTABLE_SIZE)); 394 init_l1 = (void *) local_phys_to_mem(alloc_phys_aligned(l1_size, VMSAv8_64_PTABLE_SIZE)); 398 init_l2 = (void *) local_phys_to_mem(alloc_phys_aligned(l2_size, VMSAv8_64_PTABLE_SIZE)); 402 init_l3 = (void *) local_phys_to_mem(alloc_phys_aligne [all...] |
H A D | paging.c | 375 lvaddr_t dest_lvaddr = local_phys_to_mem(dest_lpaddr); 383 //union armv8_l2_entry* entry1 = (union armv8_l2_entry*)local_phys_to_mem(src_gpaddr); 454 lvaddr_t dest_lvaddr = local_phys_to_mem(dest_lpaddr); 462 //union armv8_l2_entry* entry1 = (union armv8_l2_entry*)local_phys_to_mem(src_gpaddr); 527 lvaddr_t dest_lvaddr = local_phys_to_mem(dest_lpaddr); 591 lvaddr_t dest_lvaddr = local_phys_to_mem(dest_lpaddr); 696 lvaddr_t lv = local_phys_to_mem(lp); 738 lvaddr_t base = local_phys_to_mem(get_address(&info->ptable->cap)) + 757 lvaddr_t l0 = local_phys_to_mem(dispatcher->vspace); 766 lvaddr_t l1 = local_phys_to_mem(gen_phys_to_local_phy [all...] |
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | boot_driver.c | 213 local_phys_to_mem((lpaddr_t)bootrec)); 273 local_phys_to_mem((uint32_t)&boot_start)); 314 boot_core_data.multiboot_header= local_phys_to_mem((lpaddr_t)mbi); 315 boot_core_data.global= local_phys_to_mem((lpaddr_t)&bsp_global); 316 boot_core_data.kcb= local_phys_to_mem((lpaddr_t)&bsp_kcb); 317 boot_core_data.target_bootrecs= local_phys_to_mem((lpaddr_t)&boot_records); 324 boot_core_data.cmdline= local_phys_to_mem(mbi->cmdline); 327 lvaddr_t boot_pointer= local_phys_to_mem((lpaddr_t)&boot_core_data);
|
H A D | startup_arch.c | 139 *ret = (void*)(local_phys_to_mem(pa) + off); 167 elf_base = local_phys_to_mem(module->mod_start); 197 (struct multiboot_modinfo *)local_phys_to_mem(mb->mods_addr); 201 lvaddr_t mmstrings_base = local_phys_to_mem(mmstrings_phys); 268 lvaddr_t mmap_vaddr= local_phys_to_mem((lpaddr_t)mb->mmap_addr); 335 init_l1 = (union arm_l1_entry *)local_phys_to_mem(bsp_alloc_phys_aligned(INIT_L1_BYTES, ARM_L1_ALIGN)); 338 init_l2 = (union arm_l2_entry *)local_phys_to_mem(bsp_alloc_phys_aligned(INIT_L2_BYTES, ARM_L2_ALIGN)); 341 init_l1 = (union arm_l1_entry *)local_phys_to_mem(app_alloc_phys_aligned(INIT_L1_BYTES, ARM_L1_ALIGN)); 344 init_l2 = (union arm_l2_entry *)local_phys_to_mem(app_alloc_phys_aligned(INIT_L2_BYTES, ARM_L2_ALIGN)); 413 lvaddr_t mmap_vaddr= local_phys_to_mem((lpaddr_ [all...] |
H A D | paging.c | 70 local_phys_to_mem(boot_core_data->kernel_l1_low); 72 local_phys_to_mem(boot_core_data->kernel_l1_high); 74 local_phys_to_mem(boot_core_data->kernel_l2_vec); 375 lvaddr_t dest_lvaddr = local_phys_to_mem(dest_lpaddr); 446 lvaddr_t dest_lvaddr = local_phys_to_mem(dest_lpaddr); 513 lvaddr_t dest_lvaddr = local_phys_to_mem(dest_lpaddr); 620 lvaddr_t base = local_phys_to_mem(get_address(&info->ptable->cap)) + 642 lvaddr_t l1 = local_phys_to_mem(dispatcher->vspace); 653 lvaddr_t ptable_lv = local_phys_to_mem(gen_phys_to_local_phys(ptable_gp));
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | vmkit.c | 43 struct guest_control *ctrl = (void *)local_phys_to_mem(lpaddr); 49 amd_vmcb_initialize(&vmcb, (void *)local_phys_to_mem(lpaddr));
|
H A D | debug.c | 64 pdpt_addr = local_phys_to_mem(((union x86_64_pdir_entry*)pml4et)->d.base_addr << 12); 72 pdir_addr = local_phys_to_mem(((union x86_64_pdir_entry*)pdptet)->d.base_addr << 12); 80 ptable_addr = local_phys_to_mem(((union x86_64_pdir_entry*)pdiret)->d.base_addr << 12);
|
H A D | paging.c | 107 lvaddr_t vaddr, vbase = local_phys_to_mem(base); 150 return local_phys_to_mem(base); 204 (union x86_64_pdir_entry *)local_phys_to_mem(base);
|
/barrelfish-2018-10-04/kernel/include/arch/x86/ |
H A D | startup_x86.h | 52 local_phys_to_mem((lpaddr_t)&x86_64_init_ap_wait - ((lpaddr_t)&x86_64_start_ap) + 56 local_phys_to_mem((lpaddr_t)&x86_32_init_ap_wait - ((lpaddr_t)&x86_32_start_ap) +
|
/barrelfish-2018-10-04/kernel/ |
H A D | sys_debug.c | 51 struct kcb *kcb = (struct kcb*) local_phys_to_mem(get_address(&cte->cap)); 52 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&kcb->init_rootcn.cap)); 53 struct cte *cn_task = (struct cte*) local_phys_to_mem(get_address(&cn[ROOTCN_SLOT_TASKCN].cap)); 58 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&cte->cap)); 68 struct cte *cn_task = (struct cte*) local_phys_to_mem(get_address(&cn[ROOTCN_SLOT_TASKCN].cap));
|
/barrelfish-2018-10-04/kernel/include/arch/k1om/ |
H A D | offsets.h | 40 static inline lvaddr_t local_phys_to_mem(lpaddr_t addr) function
|
/barrelfish-2018-10-04/kernel/include/arch/x86_32/ |
H A D | offsets.h | 32 static inline lvaddr_t local_phys_to_mem(lpaddr_t addr) function
|
/barrelfish-2018-10-04/kernel/include/arch/x86_64/ |
H A D | offsets.h | 40 static inline lvaddr_t local_phys_to_mem(lpaddr_t addr) function
|
/barrelfish-2018-10-04/kernel/arch/k1om/ |
H A D | init.c | 242 lvaddr_t vbase = local_phys_to_mem(base); 297 paging_x86_64_map_table(&boot_pml4[X86_64_PML4_BASE(local_phys_to_mem(XEON_PHI_SBOX_BASE))], 299 paging_x86_64_map_table(&boot_pdpt_hi[X86_64_PDPT_BASE(local_phys_to_mem(XEON_PHI_SBOX_BASE))], 302 paging_x86_64_map_large(&boot_pdir_mmio[X86_64_PDIR_BASE(local_phys_to_mem(XEON_PHI_SBOX_BASE))], 444 kernel_sbox_base_address = local_phys_to_mem(XEON_PHI_SBOX_BASE); 455 global = (struct global*)local_phys_to_mem((lpaddr_t)global); 459 local_phys_to_mem((lpaddr_t)glbl_core_data); 594 (*reloc_text_init)(void) = (void *)local_phys_to_mem((lpaddr_t)text_init); 606 printf("Kernel starting at address 0x%"PRIxLVADDR"\n", local_phys_to_mem(dest)); 640 glbl_core_data->bp = (struct xeon_phi_boot_params *) local_phys_to_mem(m [all...] |
/barrelfish-2018-10-04/kernel/arch/arm/ |
H A D | gic_v3.c | 37 lvaddr_t gic_dist = local_phys_to_mem(platform_gic_distributor_address); 115 lvaddr_t gic_redist = local_phys_to_mem(platform_gic_redistributor_address);
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | page_mappings_arch.c | 52 lvaddr_t dest_lv = local_phys_to_mem(dest_lp); 117 lvaddr_t dest_lv = local_phys_to_mem(dest_lp); 153 lvaddr_t dest_lv = local_phys_to_mem(dest_lp); 214 lvaddr_t dest_lv = local_phys_to_mem(dest_lp); 340 lvaddr_t base = local_phys_to_mem(info->pte) + 392 lvaddr_t root_pt = local_phys_to_mem(dispatcher->vspace); 401 lvaddr_t pdir_lv = local_phys_to_mem(gen_phys_to_local_phys(pdir_gp)); 422 lvaddr_t ptable_lv = local_phys_to_mem(gen_phys_to_local_phys(ptable_gp));
|
H A D | paging.c | 144 lvaddr_t vaddr, vbase = local_phys_to_mem(base); 320 (union x86_32_pdpte_entry *)local_phys_to_mem(base); 344 (union x86_32_ptable_entry *)local_phys_to_mem(base); 347 (union x86_32_pdir_entry *)local_phys_to_mem(base);
|
/barrelfish-2018-10-04/kernel/include/arch/armv7/ |
H A D | offsets.h | 131 static inline lvaddr_t local_phys_to_mem(lpaddr_t addr) function
|
/barrelfish-2018-10-04/kernel/include/arch/armv8/ |
H A D | offsets.h | 121 static inline lvaddr_t local_phys_to_mem(lpaddr_t addr) function
|