free_reserved_page
free_reserved_page(page);
free_reserved_page(page);
free_reserved_page(page);
free_reserved_page(pfn_to_page(addr >> PAGE_SHIFT));
free_reserved_page(pfn_to_page(pfn));
free_reserved_page(page++);
free_reserved_page(page++);
free_reserved_page(page);
free_reserved_page(page);
free_reserved_page(page);
free_reserved_page(page);
free_reserved_page(page++);
free_reserved_page(pfn_to_page(addr >> PAGE_SHIFT));
free_reserved_page(virt_to_page(&trapbase_cpu1[0]));
free_reserved_page(virt_to_page(&trapbase_cpu2[0]));
free_reserved_page(virt_to_page(&trapbase_cpu3[0]));
free_reserved_page(virt_to_page(page));
free_reserved_page(page++);
free_reserved_page(page);
free_reserved_page(page);
free_reserved_page(boot_pfn_to_page(addr >> PAGE_SHIFT));
void free_reserved_page(struct page *page);
free_reserved_page(ptdesc_page(pt));
free_reserved_page(page);
free_reserved_page(pfn_to_page(pfn));
free_reserved_page(page);
free_reserved_page(page);
EXPORT_SYMBOL(free_reserved_page);