Searched refs:mboot_high_water_mark (Results 1 – 1 of 1) sorted by relevance
39 static addr_t mboot_high_water_mark = 0x100000; variable52 addr_t start = (flags & MAP_HIGH) ? mboot_high_water_mark : 0x2000; in map_data()66 if (start + len + pad > mboot_high_water_mark) in map_data()67 mboot_high_water_mark = start + len + pad; in map_data()218 if (addr + msize > mboot_high_water_mark) in map_image()219 mboot_high_water_mark = addr + msize; in map_image()315 if (bss_addr + bss_len > mboot_high_water_mark) in map_image()316 mboot_high_water_mark = bss_addr + bss_len; in map_image()