/* RETURNS: The number of pages mapped on success, -errno on failure.  */
int map_kernel_range_noflush(unsigned long addr, unsigned long size, pgprot_t prot, struct page **pages)
/* RETURNS: The number of pages mapped on success, -errno on failure.  */
int map_kernel_range_noflush(unsigned long addr, unsigned long size, pgprot_t prot, struct page **pages)
{
	return vmap_page_range_noflush(addr, addr + size, prot, pages);
}