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

/barrelfish-2018-10-04/tools/arm_boot/
H A Darm_bootimage.c1029 struct menu_mmap_entry *ram_region= first_ram_region(menu); local
1030 if(!ram_region) fail("No RAM regions defined.\n");
1031 if(ram_region->base > (uint64_t)UINT32_MAX)
1033 if(phys_base < ram_region->base ||
1034 phys_base >= ram_region->base + ram_region->length) {
1038 paddr_t ram_start= (paddr_t)ram_region->base;
1195 if(total_size > ram_region->length)

Completed in 85 milliseconds