/* Map a vmalloc()-space virtual address to the physical page frame number.  */
unsigned long vmalloc_to_pfn(const void *vmalloc_addr)
/* Map a vmalloc()-space virtual address to the physical page frame number.  */
unsigned long vmalloc_to_pfn(const void *vmalloc_addr)
{
	return page_to_pfn(vmalloc_to_page(vmalloc_addr));
}