Searched refs:highrsvd (Results 1 – 1 of 1) sorted by relevance
174 uint32_t highrsvd; in mboot_make_memmap() local182 highrsvd = 0xfff00000; in mboot_make_memmap()206 } else if (ard[i].Type != 1 && start < highrsvd) in mboot_make_memmap()207 highrsvd = start; in mboot_make_memmap()210 if (highmem > highrsvd) in mboot_make_memmap()211 highmem = highrsvd; in mboot_make_memmap()