Lines Matching defs:vaddr
242 void copy_user_page(void *vto, void *vfrom, unsigned long vaddr,
245 __flush_dcache(vaddr, vaddr + PAGE_SIZE);
246 __flush_icache(vaddr, vaddr + PAGE_SIZE);
252 void clear_user_page(void *addr, unsigned long vaddr, struct page *page)
254 __flush_dcache(vaddr, vaddr + PAGE_SIZE);
255 __flush_icache(vaddr, vaddr + PAGE_SIZE);