NAME
find_max_pfn_with_active_regions - Find the maximum PFN registered
SYNOPSIS
unsigned long __init find_max_pfn_with_active_regions(void);
ARGUMENTS
void
no arguments
DESCRIPTION
It returns the maximum PFN based on information provided via add_active_range.