/* pfn_is_nosave - check if given pfn is in the 'nosave' section  */
int pfn_is_nosave(unsigned long pfn)
/* pfn_is_nosave - check if given pfn is in the 'nosave' section  */
int pfn_is_nosave(unsigned long pfn)
{
	unsigned long nosave_begin_pfn = __pa_symbol(&__nosave_begin) >> PAGE_SHIFT;
	unsigned long nosave_end_pfn = PAGE_ALIGN(__pa_symbol(&__nosave_end)) >> PAGE_SHIFT;
	return (pfn >= nosave_begin_pfn) && (pfn < nosave_end_pfn);
}