__offline_isolated_pages
extern unsigned long __offline_isolated_pages(unsigned long start_pfn,
managed_pages = __offline_isolated_pages(start_pfn, end_pfn);