Lines Matching defs:page
12 * This flag is used to indicate that the page pointed to by a pte is clean
21 * if it's accessed right after the pte is set. The page fault handler does
34 * This is called when a page has been modified by the kernel.
35 * It just marks the page as not i-cache clean. We do the i-cache
36 * flush later when the page is given to a user process, if necessary.
48 static inline void flush_dcache_page(struct page *page)
50 flush_dcache_folio(page_folio(page));
56 void flush_icache_user_page(struct vm_area_struct *vma, struct page *page,