Searched refs:max_gpaddr (Results 1 – 1 of 1) sorted by relevance
318 uint64_t min_gpaddr = -1, max_gpaddr = 0; in arch_xen_unpopulated_init() local357 if (max_gpaddr < regs[i].end) in arch_xen_unpopulated_init()358 max_gpaddr = regs[i].end; in arch_xen_unpopulated_init()364 xen_resource.end = max_gpaddr; in arch_xen_unpopulated_init()