Searched refs:next_phys_addr (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | common.c | 292 paddr_t next_phys_addr; local 343 next_phys_addr = dtb_phys_start = ROUND_UP(kernel_phys_end, PAGE_BITS); 352 ensure_phys_range_valid("DTB", next_phys_addr, 353 next_phys_addr + *chosen_dtb_size); 355 memmove((void *)next_phys_addr, dtb, *chosen_dtb_size); 356 next_phys_addr += *chosen_dtb_size; 357 next_phys_addr = ROUND_UP(next_phys_addr, PAGE_BITS); 358 dtb_phys_end = next_phys_addr; 364 next_phys_addr [all...] |
/seL4-refos-master/tools/elfloader/src/ |
H A D | common.c | 292 paddr_t next_phys_addr; local 343 next_phys_addr = dtb_phys_start = ROUND_UP(kernel_phys_end, PAGE_BITS); 352 ensure_phys_range_valid("DTB", next_phys_addr, 353 next_phys_addr + *chosen_dtb_size); 355 memmove((void *)next_phys_addr, dtb, *chosen_dtb_size); 356 next_phys_addr += *chosen_dtb_size; 357 next_phys_addr = ROUND_UP(next_phys_addr, PAGE_BITS); 358 dtb_phys_end = next_phys_addr; 364 next_phys_addr [all...] |
Completed in 30 milliseconds