Searched refs:dtb_phys_start (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dcommon.c291 uintptr_t dtb_phys_start, dtb_phys_end; local
343 next_phys_addr = dtb_phys_start = ROUND_UP(kernel_phys_end, PAGE_BITS);
361 printf(" paddr=[%lx..%lx]\n", dtb_phys_start, dtb_phys_end - 1);
362 *chosen_dtb = (void *)dtb_phys_start;
/seL4-refos-master/tools/elfloader/src/
H A Dcommon.c291 uintptr_t dtb_phys_start, dtb_phys_end; local
343 next_phys_addr = dtb_phys_start = ROUND_UP(kernel_phys_end, PAGE_BITS);
361 printf(" paddr=[%lx..%lx]\n", dtb_phys_start, dtb_phys_end - 1);
362 *chosen_dtb = (void *)dtb_phys_start;

Completed in 30 milliseconds