Searched refs:mem_begin (Results 1 – 2 of 2) sorted by relevance
| /src/ |
| A D | fdt_patch.c | 163 size_t fdt_max_size, paddr_t mem_begin, paddr_t mem_end, in fdt_patch_mem() argument
167 uint64_t mem_start_addr = pa_addr(mem_begin); in fdt_patch_mem()
168 size_t mem_size = pa_difference(mem_begin, mem_end); in fdt_patch_mem()
|
| A D | load.c | 660 paddr_t mem_begin, paddr_t mem_end, in load_secondary() argument
674 const size_t mem_size = pa_difference(mem_begin, mem_end); in load_secondary()
687 if (!load_kernel(stage1_locked, mem_begin, mem_end, manifest_vm, in load_secondary()
719 mem_begin, mem_end, ppool)) { in load_secondary()
753 if (!vm_identity_map(vm_locked, mem_begin, mem_end, map_mode, ppool, in load_secondary()
811 manifest_vm->secondary.vcpu_count, pa_addr(mem_begin)); in load_secondary()
|
Completed in 5 milliseconds