Lines Matching defs:vaddr
233 void copy_user_page(void *vto, void *vfrom, unsigned long vaddr,
236 __flush_dcache(vaddr, vaddr + PAGE_SIZE);
237 __flush_icache(vaddr, vaddr + PAGE_SIZE);
243 void clear_user_page(void *addr, unsigned long vaddr, struct page *page)
245 __flush_dcache(vaddr, vaddr + PAGE_SIZE);
246 __flush_icache(vaddr, vaddr + PAGE_SIZE);