Searched refs:phys_virt_offset (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/seL4_tools/elfloader-tool/include/ |
| H A D | elfloader_common.h | 52 * virtual_address + phys_virt_offset = physical_address
54 uintptr_t phys_virt_offset; member in struct:image_info
|
| /seL4-refos-master/tools/elfloader/include/ |
| H A D | elfloader_common.h | 52 * virtual_address + phys_virt_offset = physical_address
54 uintptr_t phys_virt_offset; member in struct:image_info
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
| H A D | boot.c | 187 user_info.phys_region_end, user_info.phys_virt_offset,
212 user_info.phys_region_end, user_info.phys_virt_offset,
|
| /seL4-refos-master/tools/elfloader/src/arch-riscv/ |
| H A D | boot.c | 187 user_info.phys_region_end, user_info.phys_virt_offset,
212 user_info.phys_region_end, user_info.phys_virt_offset,
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
| H A D | smp_boot.c | 56 user_info.phys_region_end, user_info.phys_virt_offset,
|
| H A D | sys_boot.c | 221 user_info.phys_region_end, user_info.phys_virt_offset,
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/ |
| H A D | common.c | 87 word_t phys_virt_offset; local
92 phys_virt_offset = dest_paddr - (paddr_t)min_vaddr;
113 memcpy((char *)dest_vaddr + phys_virt_offset,
227 info->phys_virt_offset = dest_paddr - (vaddr_t)min_vaddr;
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/ |
| H A D | smp_boot.c | 56 user_info.phys_region_end, user_info.phys_virt_offset,
|
| H A D | sys_boot.c | 221 user_info.phys_region_end, user_info.phys_virt_offset,
|
| /seL4-refos-master/tools/elfloader/src/ |
| H A D | common.c | 87 word_t phys_virt_offset; local
92 phys_virt_offset = dest_paddr - (paddr_t)min_vaddr;
113 memcpy((char *)dest_vaddr + phys_virt_offset,
227 info->phys_virt_offset = dest_paddr - (vaddr_t)min_vaddr;
|
Completed in 75 milliseconds