Name

find_max_pfn_with_active_regions — Find the maximum PFN registered