50 static int map_page(unsigned long va, unsigned long pa, pgprot_t prot)  in map_page()  argument
59 	pge = pgd_offset_k(va);  in map_page()
60 	pue = pud_offset(pge, va);  in map_page()
61 	pme = pmd_offset(pue, va);  in map_page()
64 	pte = pte_alloc_kernel(pme, va);  in map_page()
84 	unsigned long page, va, pa;  in consistent_alloc()  local
107 	va = VMALLOC_VMADDR(area->addr);  in consistent_alloc()
108 	ret = (void *) va;  in consistent_alloc()
123 		err = map_page(va + i, pa + i, PAGE_KERNEL_NOCACHE);  in consistent_alloc()
126 		vfree((void *) va);  in consistent_alloc()
133 	frv_cache_invalidate(va, va + size);  in consistent_alloc()