flush_kernel_dcache_page_addr
flush_kernel_dcache_page_addr(pfn_va(pfn + nr));
flush_kernel_dcache_page_addr(pfn_va(pfn + nr));
flush_kernel_dcache_page_addr(addr);
flush_kernel_dcache_page_addr(kaddr);
flush_kernel_dcache_page_addr(kaddr + i * PAGE_SIZE);
static void flush_kernel_dcache_page_addr(const void *addr);
flush_kernel_dcache_page_addr(PTR_PAGE_ALIGN_DOWN(dst));
flush_kernel_dcache_page_addr(PTR_PAGE_ALIGN_DOWN(src));