/* Internal interface to free a range of physical memory. Frees non RAM regions only.  */
static void free_pfn_range(u64 paddr, unsigned long size)
/* Internal interface to free a range of physical memory. Frees non RAM regions only.  */
static void free_pfn_range(u64 paddr, unsigned long size)
{
	int is_ram;
	is_ram = pat_pagerange_is_ram(paddr, paddr + size);
	if (is_ram == 0)
		free_memtype(paddr, paddr + size);
}